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