A Forgotten Theory of Proofs ?
| Autor: | Engeler, Erwin |
|---|---|
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | Logical Methods in Computer Science, Volume 15, Issue 3 (July 29, 2019) lmcs:4860 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.23638/LMCS-15(3:7)2019 |
| Popis: | Looking at MacLane's thesis on proof theory in the light of combinatory logic |
| Databáze: | arXiv |
| Externí odkaz: |
|