論理学への数学的手引き

• タイトルヨミ: ロンリガクエノスウガクテキテビキ
• 著編者等／著者名等: Herbert B.Enderton‖[著] 嘉田勝‖訳
• 統一著者名ヨミ: Enderton Herbert B.
• 統一著者名: 嘉田勝
• 著編者等ヨミ／著者名等ヨミ: エンダートンH.B. カダマサル
• 出版者: 1月と7月
• 出版地: [東京]
• 出版年: 2020.9
• 大きさ: 6,494p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-86113-709-9
• マークNo: TRC000000020046708
• タイトルコード: 1000001366233
• 資料番号: 00000000000009997164
• 請求記号: 410.96/ｴﾝ ﾛ
• 一般注記: 原タイトル：A mathematical introduction to logic
• 内容紹介: アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキスト。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明などを収録する。
• 種別: 図書
• 配架場所: 03141