Algebra of proofs/
Szabo, M. E.
Algebra of proofs/ M. E. Szabo. - Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978. - xii, 297 p. ; 23 cm. - Studies in logic and the foundations of mathematics v. 88. .
Includes indexes.
Bibliography: p. 278-284.
0720422868
77000706
Proof theory
Categories (Mathematics)
Combinatory logic.
511.3 / S996a
Algebra of proofs/ M. E. Szabo. - Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978. - xii, 297 p. ; 23 cm. - Studies in logic and the foundations of mathematics v. 88. .
Includes indexes.
Bibliography: p. 278-284.
0720422868
77000706
Proof theory
Categories (Mathematics)
Combinatory logic.
511.3 / S996a