Bimbo, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC press.
Citação norma ChicagoBimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton: CRC press, 2015.
Citação norma MLABimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC press, 2015.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.