類似資料

1. 1 論理数学 / 太原育夫著
2. 2 数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
3. 3 数理論理学 = Mathematical logic / 戸次大介著
4. 4 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
5. 5 スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 上巻