An Introduction to Proof Theory

From MaRDI portal

Publication:5010232

Jump to:navigation, search

DOI10.1093/oso/9780192895936.001.0001WikidataQ126710567 ScholiaQ126710567MaRDI QIDQ5010232

Sergio Galvan, Richard Zach, Paolo Mancosu

Publication date: 24 August 2021

Full work available at URL: https://doi.org/10.1093/oso/9780192895936.001.0001

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5010232&oldid=19472068"