現代数理論理学入門

Author(s)

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

Bibliographic Information

現代数理論理学入門

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

共立出版, 2017.4

復刊

Other Title

What is mathematical logic ?

復刊現代数理論理学入門

Title Transcription

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

Note

1977年刊の再刊

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

文献: p[180]-181

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BB23546503
• ISBN:
  • 9784320113183
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: vi, 185p
• Size: 22cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
• Subject Headings:
  • BSH : 記号論理学