類似資料

1. 1 完全性定理とモデル理論 / 田中一之編 : electronic bk
2. 2 不完全性定理と算術の体系 / 田中一之編
3. 3 パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
4. 4 数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
5. 5 知的エージェントのための集合と論理 / 中島秀之著
6. 6 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
7. 7 キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
8. 8 例題で学ぶ集合と論理 / 鈴木登志雄著 : electronic bk
9. 9 Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Godel / edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn
10. 10 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著