| ISBN |
4-86113-709-9
|
| ISBN13桁 |
978-4-86113-709-9
|
| タイトル |
論理学への数学的手引き
|
| タイトルカナ |
ロンリガク エノ スウガクテキ テビキ
|
| 著者名 |
Herbert B.Enderton
／[著],
嘉田 勝
／訳
|
| 著者名典拠番号 |
120003043720000
,
110005408260000
|
| 出版地 |
[東京]
|
| 出版者 |
1月と7月
|
| 出版者カナ |
イチガツ ト シチガツ
|
| 出版年 |
2020.9
|
| ページ数 |
6, 494p
|
| 大きさ |
22cm
|
| 原タイトル注記 |
原タイトル:A mathematical introduction to logic
|
| 価格 |
¥5400
|
| 内容紹介 |
アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキスト。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明などを収録する。
|
| 書誌・年譜・年表 |
文献:p479～480
|
| 一般件名 |
記号論理学-ndlsh-00565709
|
| 一般件名 |
記号論理学
|
| 一般件名カナ |
キゴウ ロンリガク
|
| 一般件名典拠番号 |
510630200000000
|
| 分類：都立NDC10版 |
410.96
|
| テキストの言語 |
日本語
|
| 原文の言語 |
英語
|
| 資料情報1 |
『論理学への数学的手引き』 Herbert B.Enderton／[著],
嘉田 勝／訳
1月と7月 2020.9（所蔵館：中央
請求記号：/410.9/5145/2020
資料コード：7113597377）
|
| URL |
https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153725570 |
