当館が所蔵している資料を検索します。
日本の学術論文を検索します。
他大学が所蔵する図書や雑誌を検索します。
日本の博士論文を検索します。
国立国会図書館(National Diet Library)が所蔵している資料を検索します。
学術機関リポジトリデータベース(Institutional Repositories DataBase)に登録されている論文を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.12)
該当件数:5件
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)