現代数理論理学入門

著者

• Crossley, John N.
• 田中, 尚夫 タナカ, ヒサオ

書誌事項

現代数理論理学入門

J.N.クロスリー他著 ; 田中尚夫訳

共立出版, 2017.4

復刊

タイトル別名

What is mathematical logic ?

復刊現代数理論理学入門

タイトル読み

ゲンダイ スウリ ロンリガク ニュウモン

注記

1977年刊の再刊

その他の著者: C.J. Ash, C.J. Brickhill, J.C. Stillwell, N.H. Williams

文献: p[180]-181

内容説明・目次

目次

• 第１章　歴史的概観
• 第２章　述語論理の完全性
• 第３章　モデル理論
• 第４章　チューリング計算機と帰納的関数
• 第５章　ゲーデルの不完全性定理
• 第６章　集合論
• 訳者解説

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB23546503
• ISBN:
  • 9784320113183
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: vi, 185p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学