インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
価格： ￥4,608
カテゴリ：
ペーパーバック
ブランド：
Cambridge University Press
Amazon.co.jpで確認
関連商品
Natural Deduction: A Proof-Theoretical Study
Categories for Types (Cambridge Mathematical Textbooks)
Mathematical Logic
Set Theory
The Foundations of Mathematics (Logic)
