戻る

論理学への数学的手引き

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

新しいMY SHOSHOのタイトル