DOORS（同志社大学図書館）

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

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
ラーネッド記念図書館第2開架		410.96\|\|K9300	179250060			予約			仮想書架	予約	仮想書架

書誌ID	BB13001013
本文言語	日本語
別書名	その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
一般注記	その他のタイトルはジャケットによるお勧め文献・参考文献: p346-347
著者標目	小島, 寛之(1958-) <コジマ, ヒロユキ>
件　名	BSH:記号論理学 BSH:証明(数学)
分　類	NDC8:410.96 NDC9:410.96
巻冊次	ISBN:9784774186641 ; PRICE:1780円+税 RefWorks出力（各巻）
NCID	BB22871983

目次・あらすじ