数学基礎論へのいざない
著者
書誌事項
数学基礎論へのいざない
（数学基礎論シリーズ / 倉田令二朗監修, 0巻）
河合文化教育研究所 , 河合出版 (発売), 1995.11
- タイトル読み
-
スウガク キソロン エノ イザナイ
大学図書館所蔵 全76件
この図書・雑誌をさがす
注記
文献あり
内容説明・目次
目次
- １ 集合に関する基本概念（集合と論理）
- ２ 無限集合
- ３ 形式主義的公理主義
- ４ 一階述語論理の諸定理
- ５ 令題論理計算
- ６ スコーレムの定理と完全性定理
- ７ 原始帰納的関数
- ８ ゲーデルの不完全性定理
- ９ 一般帰納的関数
- １０ 公理論的集合論
「BOOKデータベース」 より