Bimbó, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC Press, Taylor & Francis Group.
Chicago Style (17th ed.) CitationBimbó, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton: CRC Press, Taylor & Francis Group, 2015.
MLA (8th ed.) CitationBimbó, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Taylor & Francis Group, 2015.
Warning: These citations may not always be 100% accurate.