Bimbó, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC Press.
Chicago-Zitierstil (17. Ausg.)Bimbó, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton [u.a.]: CRC Press, 2015.
MLA-Zitierstil (9. Ausg.)Bimbó, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.