Algebra of proofs
By: M. E. Szabo.
Series: Studies in logic and the foundations of mathematics ;; v. 88
Publisher: North-Holland Pub. Co.; sole distributors for the U.S.A. and Canada, Elsevier North-Holland
Published: 1978
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 297
Subjects: Proof theory.; Categories (Mathematics); Combinatory logic.
Notes: Bibliography: p. 278-284.
Includes indexes.