数理論理学 : 使い方と考え方 : 超準解析の入口まで
著者
書誌事項
数理論理学 : 使い方と考え方 : 超準解析の入口まで
内田老鶴圃, 2010.5
- タイトル別名
-
数理論理学 : 使い方と考え方超準解析の入口まで
- タイトル読み
-
スウリ ロンリガク : ツカイカタ ト カンガエカタ : チョウジュン カイセキ ノ イリグチ マデ
大学図書館所蔵 件 / 全116件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: 各章末
内容説明・目次
目次
- 第1章 論理式
- 第2章 論理式の解釈と構造
- 第3章 定義可能集合
- 第4章 冠頭標準形と否定命題
- 第5章 証明と推論規則
- 第6章 完全性定理
- 第7章 1階述語論理の表現可能性の限界について
- 第8章 初等部分構造について
- 第9章 簡単な超準解析の導入
- 第10章 数理論理学と数学
- 第11章 超準解析の応用
「BOOKデータベース」 より