定理証明手習い
著者
書誌事項
定理証明手習い
ラムダノート, 2017.10
- タイトル別名
-
The little prover
- タイトル読み
-
テイリ ショウメイ テナライ
大学図書館所蔵 件 / 全36件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
中野圭介監訳
索引あり
原著(MIT Press, c2015)の翻訳
訳者(監訳者序文による): 鹿野桂一郎