福岡大学蔵書検索

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

データ種別	図書
出版者	東京 : 技術評論社
出版年	2017.2
形態	351p : 挿図 ; 19cm
別書名	その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
著者標目	小島, 寛之(1958-) <コジマ, ヒロユキ>
件　名	BSH:記号論理学 BSH:証明(数学)
分　類	NDC9:410.96 NDC8:410.96
書誌ID	LT00982052

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央4F 図書	410.96/KO39/1	2000000343816	9784774186641				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	日本語
一般注記	その他のタイトルはジャケットによるお勧め文献・参考文献: p346-347
NCID	BB22871983
巻冊次	ISBN:9784774186641

目次／あらすじ