東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.12)
該当件数:14件
数学史 / 小堀憲著
東京 : 朝倉書店 , 1956.3. - (科学・技術史全書)
図書
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
フレーゲの論理哲学 / 田畑博敏著
福岡 : 九州大学出版会 , 2002.2
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
知識処理論 / 萩野達也著
東京 : 産業図書 , 1995.6. - (知識・情報・メディア/シリーズ)
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan [著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
初等記号論理学入門 / 倉田令二朗, 中村修著
東京 : 国土社 , 1974.2. - (数学ぶっくす ; 7)
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
ブール代数 / 安宅彦三郎著
東京 : 共立出版 , 1969.9
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)