A Forgotten Theory of Proofs ?
Abstract
Looking at MacLane's thesis on proof theory in the light of combinatory logic
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2018
- DOI:
- 10.48550/arXiv.1809.11013
- arXiv:
- arXiv:1809.11013
- Bibcode:
- 2018arXiv180911013E
- Keywords:
-
- Mathematics - History and Overview;
- Mathematics - Logic
- E-Print:
- Logical Methods in Computer Science, Volume 15, Issue 3 (July 29, 2019) lmcs:4860