TY  - BOOK
AU  - Mancosu et al
TI  - An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
SN  - 9780191938795
PY  - 2021///
PB  - OUPOxford University Press
UR  - http://dx.doi.org/10.1093/oso/9780192895936.001.0001
ER  -