---

＜図書＞
Algebra of proofs / M. E. Szabo
(Studies in logic and the foundations of mathematics ; v. 88)

出版者	Amsterdam ; New York : North-Holland Pub. Co.
出版者	New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland
出版年	1978
本文言語	英語
大きさ	xii, 297 p. ; 23 cm
著者標目	*Szabo, M. E.
件　名	LCSH:Proof theory LCSH:Categories (Mathematics) LCSH:Combinatory logic
一般注記	Bibliography: p. 278-284 Includes indexes

 類似資料