Type Theory and Formal Proof: An Introduction の感想
121 人が閲覧しました
参照データ
タイトル | Type Theory and Formal Proof: An Introduction |
発売日 | 販売日未定 |
製作者 | Professor Rob Nederpelt |
販売元 | Cambridge University Press |
JANコード | 9781107036505 |
カテゴリ | » 洋書 » Special Features » all foreign books |