数理論理学 : 使い方と考え方 : 超準解析の入口まで
Author(s)
Bibliographic Information
数理論理学 : 使い方と考え方 : 超準解析の入口まで
内田老鶴圃, 2010.5
- Other Title
-
数理論理学 : 使い方と考え方超準解析の入口まで
- Title Transcription
-
スウリ ロンリガク : ツカイカタ ト カンガエカタ : チョウジュン カイセキ ノ イリグチ マデ
Available at 117 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"