入門数学基礎論
著者
書誌事項
入門数学基礎論
(数学基礎論シリーズ / 倉田令二朗監修, 1巻)
河合文化教育研究所 , 河合出版 (発売), 1996.1
- タイトル読み
-
ニュウモン スウガク キソロン
大学図書館所蔵 件 / 全68件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
内容説明・目次
目次
- 第1章 数学の形式化と一階述語論理
- 第2章 スコーレムの定理・完全性定理
- 第3章 原始帰納的関数
- 第4章 ゲーデルの不完全定理
「BOOKデータベース」 より