Algebra of proofs /

Bibliographic Details

Main Author:	Szabo, M. E.
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland Pub. Co. : 1978.
Series:	Studies in logic and the foundations of mathematics ; v. 88.
Subjects:	Proof theory. Categories (Mathematics) Combinatory logic.