A Forgotten Theory of Proofs ?

zbMATH Open1509.03157arXiv1809.11013MaRDI QIDQ6307451FDOQ6307451

Authors: Erwin Engeler 

Publication date: 25 September 2018

Abstract: Looking at MacLane's thesis on proof theory in the light of combinatory logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: A Forgotten Theory of Proofs ?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6307451)