スマリヤン不完全性定理

• タイトルヨミ: スマリヤンフカンゼンセイテイリ
• 著編者等／著者名等: Raymond Smullyan‖[著] 高橋昌一郎‖監訳 川辺治之‖訳 村上祐子‖訳
• 統一著者名ヨミ: Smullyan Raymond M.
• 統一著者名: 高橋昌一郎 川辺治之 村上祐子
• 著編者等ヨミ／著者名等ヨミ: スマリヤンレイモンド M. タカハシショウイチロウ カワベハルユキ ムラカミユウコ
• 出版者: 丸善出版
• 出版地: 東京
• 出版年: 2019.12
• 大きさ: 9,178p
• 件名: 不完全性定理
• 分類: 410.9,410.9 410.9
• ISBN: 978-4-621-30478-5
• マークNo: TRC000000020001027
• タイトルコード: 1000001288638
• 資料番号: 00000000000100625086
• 請求記号: 410.9/ｽﾏ ｽ
• 一般注記: 原タイトル：Gödel's incompleteness theorems
• 内容紹介: 不完全性定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
• 種別: 図書
• 配架場所: 03141