定理証明手習い
- 発売日: 2017年10月 - 発売中
- 新刊発見日: 2017年11月10日
- （2025年04月30日 21時17分 JST時点）
在庫状況： 在庫あり
- ダニエル・P．フリードマン/カール・イーストルンド
- ラムダノート
- 価格： ￥3,520. (税込)
- EAN： 9784908686023
単行本（ソフトカバー）
新刊チェックキーワード
lisp 15 users- ノート 5 users
ダニエル フリードマン 4 users- scheme 4 users
- フリードマン ダニエル 2 users
[広告]
