Bimbo, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC Press.
Trích dẫn kiểu ChicagoBimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton: CRC Press, 2015.
Trích dẫn MLABimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, 2015.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.