Proof Theory : Sequent Calculi and Related Formalisms (Hard)
【シリーズ】Discrete Mathematics and Its Applications
【出版社 】CRC Press
【発行年度】2015 【冊数】1 【頁数】376 【判型・装丁】8vo hard
【現品状態】
カド少擦れ。本文概ね良好。
【ISBN】1466564660
¥ 7,500 税込
関連カテゴリ