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


    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

    Consultation statistics

    This page has been seen 1020 times.
    This article's PDF has been downloaded 350 times.