The Little Prover (The MIT Press)
価格： ￥4,653
カテゴリ： ペーパーバック
ブランド： The MIT Press
関連商品
- The Reasoned Schemer (The MIT Press)
- The Seasoned Schemer
- Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
- 純粋関数型データ構造
- コンパイラ: 作りながら学ぶ
- Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
- はじめて学ぶリー群 ―線型代数から始めよう
- プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト)
- まつもとゆきひろ 言語のしくみ