数理論理学 : 使い方と考え方 : 超準解析の入口まで
著者
書誌事項
数理論理学 : 使い方と考え方 : 超準解析の入口まで
内田老鶴圃, 2010.5
- タイトル別名
-
数理論理学 : 使い方と考え方超準解析の入口まで
- タイトル読み
-
スウリ ロンリガク : ツカイカタ ト カンガエカタ : チョウジュン カイセキ ノ イリグチ マデ
大学図書館所蔵 全116件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: 各章末
内容説明・目次
目次
- 第1章 論理式
- 第2章 論理式の解釈と構造
- 第3章 定義可能集合
- 第4章 冠頭標準形と否定命題
- 第5章 証明と推論規則
- 第6章 完全性定理
- 第7章 1階述語論理の表現可能性の限界について
- 第8章 初等部分構造について
- 第9章 簡単な超準解析の導入
- 第10章 数理論理学と数学
- 第11章 超準解析の応用
「BOOKデータベース」 より