Open Access
January 1976 An addendum to my paper: ``A categorical equivalence of proofs''.
Manfred E. Szabo
Notre Dame J. Formal Logic 17(1): 78-78 (January 1976). DOI: 10.1305/ndjfl/1093887426
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.17 • No. 1 • January 1976
Back to Top