Logical Methods in Computer Science (Jul 2019)

A Forgotten Theory of Proofs ?

Erwin Engeler

Affiliations

Erwin Engeler

DOI: https://doi.org/10.23638/LMCS-15(3:7)2019
Journal volume & issue: Vol. Volume 15, Issue 3

Abstract

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

Published in Logical Methods in Computer Science

ISSN: 1860-5974 (Online)
Publisher: Logical Methods in Computer Science e.V.
Country of publisher: Germany
LCC subjects: Philosophy. Psychology. Religion: Logic; Science: Mathematics: Instruments and machines: Electronic computers. Computer science
Website: https://lmcs.episciences.org/

About the journal