本学の蔵書を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:2件
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
図書
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)