Bimbo, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC press.
Dyfyniad Arddull ChicagoBimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton: CRC press, 2015.
Dyfyniad MLABimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC press, 2015.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.