数理論理学

• タイトルヨミ: スウリロンリガク
• シリーズ名: 現代基礎数学／15
• シリーズ名ヨミ: ゲンダイキソスウガク15
• 著編者等／著者名等: 鹿島亮‖著
• 統一著者名: 鹿島亮
• 著編者等ヨミ／著者名等ヨミ: カシマリョウ
• 出版者: 朝倉書店
• 出版地: 東京
• 出版年: 2009.10
• 大きさ: 5,210p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-254-11765-3
• マークNo: TRC09056632
• タイトルコード: 1100000287656
• 資料番号: 009595562
• 請求記号: 410.96/ｶｼ ｽ
• 内容紹介: 数理論理学の基本結果であるゲーデルの完全性定理、ゲーデルの不完全性定理、ゲンツェンのLKのカット除去定理、直観主義論理のクリプキモデルに対する完全性定理などを、わかりやすくかつ正確に解説する。
• 種別: 図書
• 配架場所: 03141