現代数理論理学入門
著者
書誌事項
現代数理論理学入門
共立出版, 2017.4
復刊
- タイトル別名
-
What is mathematical logic ?
復刊現代数理論理学入門
- タイトル読み
-
ゲンダイ スウリ ロンリガク ニュウモン
大学図書館所蔵 全44件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
1977年刊の再刊
その他の著者: C.J. Ash, C.J. Brickhill, J.C. Stillwell, N.H. Williams
文献: p[180]-181
内容説明・目次
目次
- 第1章 歴史的概観
- 第2章 述語論理の完全性
- 第3章 モデル理論
- 第4章 チューリング計算機と帰納的関数
- 第5章 ゲーデルの不完全性定理
- 第6章 集合論
- 訳者解説
「BOOKデータベース」 より