書誌情報:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
|
書誌詳細
| 刊年 | 2017 |
| 形態 | 351p ; 19cm |
| 別書名 | 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
|
| シリーズ名 | 知の扉シリーズ
|
| 注記 | その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347 |
| 出版国 | 日本 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 著者情報 | 小島, 寛之(1958-) (コジマ, ヒロユキ)
|
| 分類 | NDC8:410.96
NDC9:410.96 |
| ISBN | 9784774186641
|
| 件名 | BSH:記号論理学
BSH:証明(数学)
|
| NCID | BB22871983 |
| 番号 | OTHN : TRC:17000613 |
WebCatPlus を見る
CiNii Books を見る
|