A Forgotten Theory of Proofs ?
History and Overview
2023-06-22 v3 Logic
Abstract
Looking at MacLane's thesis on proof theory in the light of combinatory logic
Cite
@article{arxiv.1809.11013,
title = {A Forgotten Theory of Proofs ?},
author = {Erwin Engeler},
journal= {arXiv preprint arXiv:1809.11013},
year = {2023}
}