An Introduction to Proof Theory
From MaRDI portal
Publication:5010232
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
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations