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
    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 1506 times.
    This article's PDF has been downloaded 428 times.