Type Theory and Formal Proof: An Introduction
価格： ￥8,491
カテゴリ： ハードカバー
関連商品
- Proof Theory: Second Edition (Dover Books on Mathematics)
- Practical Foundations for Programming Languages
- Set Theory
- An Introduction to the Language of Category Theory (Compact Textbooks in Mathematics)
- 圏論による論理学―高階論理とトポス
- ベーシック圏論 普遍性からの速習コース
- Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
- Haskell入門 関数型プログラミング言語の基礎と実践
- (日本語研究叢書24) 日本語文法の形式理論 - 活用体系・統語構造・意味合成