Engeler, Erwin - 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 ?

Authors: Engeler, Erwin

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


Volume: Volume 15, Issue 3
Published on: July 29, 2019
Submitted on: October 1, 2018
Keywords: Mathematics - History and Overview,Mathematics - Logic


Share

Consultation statistics

This page has been seen 188 times.
This article's PDF has been downloaded 165 times.