APA (7th ed.) Citation

Bimbó, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC Press.

Chicago Style (17th ed.) Citation

Bimbó, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton, Florida: CRC Press, 2015.

MLA (9th ed.) Citation

Bimbó, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, 2015.

Warning: These citations may not always be 100% accurate.