Baaz, M. (2011). Methods of cut-elimination. Springer.
Chicago-Zitierstil (17. Ausg.)Baaz, Matthias. Methods of Cut-elimination. Dordrecht: Springer, 2011.
MLA-Zitierstil (9. Ausg.)Baaz, Matthias. Methods of Cut-elimination. Springer, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.