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)2019
A Forgotten Theory of Proofs ?Article

Authors: Erwin Engeler

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

https://doi.org/10.23638/LMCS-15(3:7)2019
Source: arXiv.org:1809.11013
Volume: Volume 15, Issue 3
Secondary volumes: Special Issue in Memory of Corrado Böhm
Published on: July 29, 2019
Accepted on: May 26, 2019
Submitted on: October 1, 2018
Keywords: Mathematics - History and Overview, Mathematics - Logic
Licence: Attribution 4.0 International (CC BY 4.0)

Share and export

Consultation statistics

This page has been seen 1880 times.
This article's PDF has been downloaded 593 times.