Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

ページ: 386, エディション: 1, ハードカバー, Chapman and Hall/CRC