スマリヤン数理論理学

• タイトルヨミ: スマリヤンスウリロンリガク
• サブタイトル: 述語論理と完全性定理
• サブタイトルヨミ: ジュツゴロンリトカンゼンセイテイリ
• 著編者等／著者名等: Raymond Smullyan‖[著] 高橋昌一郎‖監訳 村上祐子‖訳
• 統一著者名ヨミ: Smullyan Raymond M.
• 統一著者名: 高橋昌一郎 村上祐子
• 著編者等ヨミ／著者名等ヨミ: スマリヤンレイモンド M. タカハシショウイチロウ ムラカミユウコ
• 出版者: 丸善出版
• 出版地: 東京
• 出版年: 2014.11
• 大きさ: 4,196p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-621-08785-5
• マークNo: TRC000000014061032
• タイトルコード: 1000000807112
• 資料番号: 00000000000100232651
• 請求記号: 410.96/ｽﾏ ｽ
• 一般注記: 原タイトル：Logical labyrinthsの抄訳
• 内容紹介: 「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。
• 種別: 図書
• 配架場所: 03141