A Forgotten Theory of Proofs ?
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: July 29, 2019
Submitted on: October 1, 2018
Keywords: Mathematics - History and Overview,Mathematics - Logic