カリフ制再興 ―― 未完のプロジェクト、その歴史・理念・未来
- 作者: 中田考
- 出版社/メーカー: 書肆心水
- 発売日: 2015/02/20
- メディア: 単行本
- この商品を含むブログ (4件) を見る
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
- 作者: 照井一成
- 出版社/メーカー: 青土社
- 発売日: 2015/02/24
- メディア: 単行本
- この商品を含むブログ (11件) を見る
カリフ制再興 ―― 未完のプロジェクト、その歴史・理念・未来
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-