京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: 410.96)
該当件数:37件
万能コンピュータ : ライプニッツからチューリングへの道すじ / マーティン・デイヴィス原著 ; 沼田寛訳
チューリング生誕100周年記念版. - 東京 : 近代科学社 , 2016.11
図書
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
東京 : 白揚社 , 1999.3
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
記号論理入門 / 前原昭二著
東京 : 日本評論社 , 1967.10. - (日評数学選書)
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
: electronic bk. - 東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
電子ブック
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数理論理学 / 松本和夫著
東京 : 共立出版 , 1970. - (共立講座現代の数学 ; 1)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
数学から超数学へ : ゲーデルの証明 / E.ナーゲル, J.R.ニューマン著 ; はやしはじめ訳
東京 : 白揚社 , 1968.9
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロ-著 ; 安藤四郎[ほか]訳
東京 : 共立出版 , 1985.6
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
論理学 / 吉田夏彦著
東京 : 培風館 , 1958.4. - (新数学シリーズ / 吉田洋一監修 ; 10)
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1