このページのリンク

<図書>
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著
(知の扉シリーズ)

出版者 東京 : 技術評論社
出版年 2017.2
本文言語 日本語
大きさ 351p ; 19cm
著者標目 小島, 寛之(1958-) <コジマ, ヒロユキ>
件 名 BSH:記号論理学
BSH:証明(数学)
一般注記 その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347
目次/あらすじ

所蔵情報を非表示

3F 図書 図書
410.96//Ko39
9784774186641


5202226232

書誌詳細を非表示

データ種別 図書
別書名 その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
分 類 NDC8:410.96
NDC9:410.96
書誌ID 2000146108
ISBN 9784774186641
NCID BB22871983

 類似資料