The algebra of proofs /

Saved in:

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

University of Minnesota

Holdings details from University of Minnesota
Call Number:	QA9.54 .S94