スマリヤン数理論理学講義 下巻

• タイトル: スマリヤン数理論理学講義 下巻 下巻
• タイトルヨミ: スマリヤンスウリロンリガクコウギ
• 各巻書名: 不完全性定理の先へ
• 各巻書名ヨミ: フカンゼンセイ テイリ ノ サキ エ
• 著編者等／著者名等: レイモンド・M.スマリヤン‖著 田中一之‖監訳 川辺治之‖訳
• 統一著者名ヨミ: Smullyan Raymond M.
• 統一著者名: 田中一之 川辺治之
• 著編者等ヨミ／著者名等ヨミ: スマリヤンレイモンド M. タナカカズユキ カワベハルユキ
• 出版者: 日本評論社
• 出版地: 東京
• 出版年: 2018.9
• 大きさ: 5,312p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-535-78851-0
• マークNo: TRC000000018043189
• タイトルコード: 1000001166913
• 資料番号: 00000000000009600255
• 請求記号: 410.96/ｽﾏ ｽ/2
• 一般注記: 原タイトル：A beginner's further guide to mathematical logic
• 内容紹介: 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。
• 種別: 図書
• 配架場所: 03141