Mancosu, P., Galvan, S., & Zach, R. (2021). An introduction to proof theory: Normalization, cut-elimination, and consistency proofs (First edition.). Oxford University Press.
Chicago-Zitierstil (17. Ausg.)Mancosu, Paolo, Sergio Galvan, und Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. First edition. Oxford: Oxford University Press, 2021.
MLA-Zitierstil (9. Ausg.)Mancosu, Paolo, et al. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. First edition. Oxford University Press, 2021.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.