類似資料

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