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.

Published 1978

Connect to the full text of this electronic book

eBook