書誌情報


書誌情報URLhttps://www.library.pref.kyoto.jp/bib/?B11292303
タイトル証明と論理に強くなる ショウメイ ト ロンリ ニ ツヨク ナル
論理式の読み方から、ゲーデルの門前まで
決定版数理論理学の完全解説
著者小島寛之/著 コジマ,ヒロユキ
出版者東京 技術評論社
出版年2017.2
形態事項351p 19cm
シリーズ名知の扉シリーズ チ ノ トビラ シリーズ
ISBN978-4-7741-8664-1
価格 (本体価格 \1780)
分類:NDC10(9)(8) (410.96) (410.96)
一般件名記号論理学
証明(数学)
+詳細情報表示 
 
 

所蔵  1冊

所蔵館区分排架場所持禁区分状態資料バーコード請求記号刊行年備考
府立図書館一般書庫3/地下カウンター貸出用利用可1110705371410.96/Ko392017.2