ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #数学基礎論)
該当件数:51件
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)
図書 [BA87180652]
数学基礎論 : ゲーデルの不完全性定理 / 隈部正博著
三訂版. - 東京 : 放送大学教育振興会 , 2003.3. - (放送大学教材 ; 7036)
図書
型理論的アプローチによる証明論および計算論の研究 / 高橋正子研究代表者
[三鷹] : 高橋正子 , 2004.5. - (科学研究費補助金基盤研究(C)(2)研究成果報告書 ; 平成12～15年度)
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
図書 [BA56669272]
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子著 ; 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; Bー1374)
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える / 〔ソーンダース・マックレーン〕〔ほか著〕 ; 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
図書 [BA41098407]
論理と計算のしくみ / 萩谷昌己著 ; 西崎真也著
東京 : 岩波書店 , 2007.6
数学基礎論 / 隈部正博著
4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)
図書 [BA85391646]
論理数学 / 細井勉著
東京 : 筑摩書房 , 1974. - (数理科学シリーズ ; 1)
図書 [BN00646183]
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975. - (シリーズ新しい応用の数学 ; 9 一松信,伊里正夫,竹内啓編)
図書 [BN00658364]
束と論理
東京 : 森北出版 , 1980.5. - (情報数学 ; 1)
図書 [BN00802278]
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
証明論入門 / 竹内外史,八杉満利子共著
東京 : 共立出版 , 1988.2
図書 [BN01958614]
計算基礎論 / 足立暁生著
東京 : オーム社 , 1986.6
図書 [BN00241476]
数学基礎論 / 前原昭二著
東京 : 放送大学教育振興会 , 1990.3. - (放送大学教材 ; 1990)
図書 [BN04944489]
証明論と計算量 / 竹内外史著
東京 : 裳華房 , 1995.11
図書 [BN13445912]
計算論入門 : 計算の基本原理理解のために / 渡辺治著 ; 米崎直樹著
東京 : 日本評論社 , 1997.3
数理論理学 / 松本和夫著
東京 : 共立出版 , 1970. - (共立講座 現代の数学 ; 1)
数学基礎論序説 / R. L. ワイルダー著 ; 吉田洋一訳
東京 : 培風館 , 1969
図書 [BN00631856]
数の概念について / ペアノ著 ; 小野勝次,梅沢敏郎訳・解説
東京 : 共立出版 , 1969. - (現代数学の系譜 ; 2)
図書 [BN00642954]
数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著
図書 [BN16121881]
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
図書 [BB08452164]
公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著
東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])
図書 [BB10127290]
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
図書 [BB27733604]
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
図書 [BB28388818]
数学基礎論 / 前原昭二, 竹内外史著
東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])
図書 [BB22793165]
数学基礎論の世界 : ロジックの雑誌帳から / 竹内外史著
東京 : 日本評論社 , 1972
図書 [BN00956533]
計算論 : 計算可能性とラムダ計算 / 高橋正子/著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
図書 [BN06616709]
計算機数学 / 町田元,横森貴共著
東京 : 森北出版 , 1990.5
図書 [BN05069440]
数学基礎論へのいざない / 倉田令二朗著
名古屋 : 河合文化教育研究所 , 1995.11. - (数学基礎論シリーズ ; 0巻)
入門数学基礎論 / 倉田令二朗著
名古屋 : 河合文化教育研究所 , 1996.1. - (数学基礎論シリーズ ; 1巻)
逆数学と2階算術 / 田中一之著
名古屋 : 河合文化教育研究所 , 1997.8. - (数学基礎論シリーズ ; 4巻)
帰納的関数と述語 / 篠田寿一著
名古屋 : 河合文化教育研究所 , 1997.5. - (数学基礎論シリーズ ; 5巻)
キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2016.7
図書 [BB21718288]
数学基礎論 / 新井敏康著
東京 : 岩波書店 , 2011.5
図書 [BB05694597]
不完全性定理 / ゲーデル〔著〕 ; 林晋訳・解説 ; 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 33ー944ー1)
図書 [BA78367288]
数学の基礎 / L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
図書 [BN00413243]
数理論理学 : 数学的理論の論理的構造 / 前原昭二著
東京 : 培風館 , 1973. - (数理科学シリーズ ; 6)
図書 [BN00647674]
数理論理学入門 / 入江盛一著
東京 : 培風館 , 1973
図書 [BN01374497]
現代数理論理学入門 / J. N. クロスリー他著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書)
図書 [BN00690720]
数学論 : 数学的認識の本性 / G. I. ルザービン著 ; 山崎三郎,柴岡泰光訳
東京 : 岩波書店 , 1977.12
図書 [BN00691268]
計算モデルの基礎理論
東京 : 岩波書店 , 1991.3. - (岩波講座ソフトウェア科学 / 長尾真〔ほか〕編 ; 12)
図書 [BN06094159]
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)
図書 [BN08210818]
論理と計算
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 ; 3 基礎11)
∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1973.10. - (数学の盲点とその解明)
図書 [BN02331048]
数学と論理
東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂〔ほか〕編集 ; 23)
数学の基礎・人間活動と数学
東京 : 大竹出版 , 2001.3. - (みえる数学の世界 / 山崎昇監訳 ; 3)
二十世紀数学思想 / 佐々木力〔著〕
東京 : みすず書房 , 2001.4
図書 [BA5152491X]
ε‐δ・∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1990.6. - (数学の盲点とその解明)
図書 [BN05051649]
数理基礎論講義 : 論理・集合・位相 / 金子晃著
東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)
図書 [BB02243740]
