 |
 |
Erwin Engeler - A Forgotten Theory of Proofs ?
lmcs:4860 - Logical Methods in Computer Science, July 29, 2019, Volume 15, Issue 3 - https://doi.org/10.23638/LMCS-15(3:7)2019A Forgotten Theory of Proofs ?
Authors: Erwin Engeler
Looking at MacLane's thesis on proof theory in the light of combinatory logic
Source : oai:arXiv.org:1809.11013
Volume: Volume 15, Issue 3
Published on: July 29, 2019
Accepted on: July 29, 2019
Submitted on: October 1, 2018
Keywords: Mathematics - History and Overview,Mathematics - Logic
Consultation statistics
This page has been seen 280 times.
This article's PDF has been downloaded 241 times.