数学基礎論へのいざない
倉田 令二朗
目次
1 集合に関する基本概念(集合と論理)
2 無限集合
3 形式主義的公理主義
4 一階述語論理の諸定理
5 令題論理計算
6 スコーレムの定理と完全性定理
7 原始帰納的関数
8 ゲーデルの不完全性定理
9 一般帰納的関数
10 公理論的集合論
年:
1995
出版社:
河合文化教育研究所
语言:
japanese
页:
160
系列:
数学基礎論シリーズ
文件:
PDF, 20.00 MB
IPFS:
,
japanese, 1995