現代数理論理学入門 復刊
発売日：2017年4月
- ISBN
- 978-4-320-11318-3
- 著者情報
- 田中 尚夫（タナカ ヒサオ）
１９６２年東京都立大学大学院修了。１９６４年〜１９９９年法政大学工学部・大学院工学研究科勤務。現在、法政大学名誉教授・理学博士。専門は数学基礎論（記述集合論、計算量理論）
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
目次
第１章 歴史的概観
第２章 述語論理の完全性
第３章 モデル理論
第４章 チューリング計算機と帰納的関数
第５章 ゲーデルの不完全性定理
第６章 集合論
訳者解説
商品詳細
- 出版社名
- 共立出版
- フォーマット
- 単行本
- 原題
- 原タイトル：Ｗｈａｔ ｉｓ Ｍａｔｈｅｍａｔｉｃａｌ Ｌｏｇｉｃ？
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
