Bimbo, K. (2015). Proof theory: Sequent calculi and related formalisms. CRC Press.
シカゴスタイル引用形Bimbo, 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.
警告: この引用は必ずしも正確ではありません.