数理論理学 : 使い方と考え方 : 超準解析の入口まで
Author(s)
Bibliographic Information
数理論理学 : 使い方と考え方 : 超準解析の入口まで
内田老鶴圃, 2010.5
- Other Title
-
数理論理学 : 使い方と考え方超準解析の入口まで
- Title Transcription
-
スウリ ロンリガク : ツカイカタ ト カンガエカタ : チョウジュン カイセキ ノ イリグチ マデ
Available at / 116 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: 各章末
Description and Table of Contents
Table of Contents
- 第1章 論理式
- 第2章 論理式の解釈と構造
- 第3章 定義可能集合
- 第4章 冠頭標準形と否定命題
- 第5章 証明と推論規則
- 第6章 完全性定理
- 第7章 1階述語論理の表現可能性の限界について
- 第8章 初等部分構造について
- 第9章 簡単な超準解析の導入
- 第10章 数理論理学と数学
- 第11章 超準解析の応用
by "BOOK database"