数学基礎論へのいざない
著者
書誌事項
数学基礎論へのいざない
(数学基礎論シリーズ / 倉田令二朗監修, 0巻)
河合文化教育研究所 , 河合出版 (発売), 1995.11
- タイトル読み
-
スウガク キソロン エノ イザナイ
大学図書館所蔵 件 / 全76件
-
410.9||Ku56000126508,
410.9||Ku56000234948, 410.9||Ku5600012650, 410.9||Ku5600023494 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献あり
内容説明・目次
目次
- 1 集合に関する基本概念(集合と論理)
- 2 無限集合
- 3 形式主義的公理主義
- 4 一階述語論理の諸定理
- 5 令題論理計算
- 6 スコーレムの定理と完全性定理
- 7 原始帰納的関数
- 8 ゲーデルの不完全性定理
- 9 一般帰納的関数
- 10 公理論的集合論
「BOOKデータベース」 より