<図書>

ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ

証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著

(知の扉シリーズ)

所蔵情報を非表示

3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
駒場図・4F開架
410.96:Ko39 3013934645
2017.2 駒場友の会寄贈

書誌詳細を非表示

出版者 東京 : 技術評論社
出版年 2017.2
大きさ 351p ; 19cm
別書名 その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
一般注記 その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347
著者標目 小島, 寛之(1958-) <コジマ, ヒロユキ>
件 名 BSH:記号論理学
BSH:証明(数学)
分 類 NDC8:410.96
NDC9:410.96
本文言語 日本語
書誌ID 2003357505
ISBN 9784774186641
NCID BB22871983 WCLINK

検索結果一覧に戻る ページトップ