論理学への数学的手引き
MYブックリストに登録基本情報
全ての情報
タイトル | 論理学への数学的手引き |
---|---|
著編者等/著者名等 | Herbert B.Enderton‖[著] 嘉田勝‖訳 |
出版者 | 1月と7月 |
出版年 | 2020.9 |
内容紹介 | アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキスト。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明などを収録する。 |
種別 | 図書 |
タイトル | 論理学への数学的手引き |
---|---|
タイトルヨミ | ロンリガクエノスウガクテキテビキ |
著編者等/著者名等 | 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 |