インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
価格: ¥12,446
カテゴリ:
ハードカバー
ブランド:
Elsevier Science
Amazon.co.jpで確認
関連商品
Categories for the Working Mathematician (Graduate Texts in Mathematics)
Natural Deduction: A Proof-Theoretical Study
Logic and Structure (Universitext)