数学基礎論
Author(s)
Bibliographic Information
数学基礎論
高文堂出版社, 1994.9
- Title Transcription
-
スウガク キソロン
Available at / 38 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Table of Contents
- 第1章 第1階の理論(言語;公理と変形規則;演繹定理;トートロジー定理 ほか)
- 第2章 自然数論(再帰的関数と再帰的述語;自然数論の形式的体系N;メタ数学の算術化;表現可能性 ほか)
- 第3章 集合論(集合論の公理;関係と関数;順序数;超限帰納法の原理 ほか)
by "BOOK database"