Bimbo, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC press.
Chicago Edition CitationBimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. Boca Raton: CRC press, 2015.
MLA引文Bimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms. CRC press, 2015.
警告:这些引文格式不一定是100%准确.