Algebra of proofs / M. E. Szabo.

Saved in:

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

Holdings details from Science Library
Call Number:	QA9.54 .S94
Status:	Available

Similar Items