Algebra of proofs

Saved in:

Bibliographic Details
Main Author:	Szabo, M. E
Format:	Book
Published:	Amsterdam North-Holland 1978
Series:	Studies in logic and the foundations of mathematics v. 88
Subjects:	Proof theory Categories (Mathematics) Combinatory logic
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-182544
005	2022010153719
020	#	#	\|a 0720422868
090	0	0	\|a QA9.54 \|b .S94 1978
100	1	#	\|a Szabo, M. E
245	1	1	\|a Algebra of proofs \|c M. E. Szabo
260	#	#	\|a Amsterdam \|b North-Holland \|c 1978
300	#	#	\|a xii, 297 p. \|c 23 cm
490	1	#	\|a Studies in logic and the foundations of mathematics \|v v. 88
500	#	#	\|a Includes indexes
504	#	#	\|a Bibliography: p. 278-284
650	#	0	\|a Proof theory
650	#	0	\|a Categories (Mathematics)
650	#	0	\|a Combinatory logic
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=182544
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam
998	#	#	\|a 00260##a002.17.2\|\|00260##b002.17.2\|\|00260##c002.17.2\|\|00300##a002.17.2\|\|00300##c002.17.2\|\|00500##a002.17.2\|\|