同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #数学基礎論)
該当件数:70件
数学基礎論 = Mathematical Logic / 新井敏康著
増補版. - 東京 : 東京大学出版会 , 2021.4
図書 <BB13154823>
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
図書 <BB00548669>
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
図書 <BB00431592>
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
図書 <BB00889064>
入門数学基礎論 / 倉田令二朗著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1996.1. - (数学基礎論シリーズ / 倉田令二朗監修 ; 1巻)
図書 <BB01005140>
数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著
東京 : 日本評論社 , 1997.3
図書 <BB01025562>
数学基礎論へのいざない / 倉田令二朗著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1995.11. - (数学基礎論シリーズ / 倉田令二朗監修 ; 0巻)
図書 <BB01002453>
数学基礎論入門 / 前原昭二著
復刊. - 東京 : 朝倉書店 , 2006.3. - (基礎数学シリーズ ; 23)
図書 <BB10254375>
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
図書 <BB13095926>
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
図書 <BB13084109>
数学基礎論 = Mathematical logic / 新井敏康著
東京 : 岩波書店 , 2011.5
図書 <BB12246424>
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
図書 <BB12397876>
逆数学と2階算術 / 田中一之著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1997.8. - (数学基礎論シリーズ / 倉田令二朗監修 ; 4巻)
図書 <BB13043579>
数学・基礎の基礎 / 廣瀬健著
東京 : 海鳴社 , 1996.6
図書 <BB01011648>
数学基礎論入門 / R.L.グッドステイン著 ; 赤攝也訳
東京 : 培風館 , 1979.3
図書 <BB00639618>
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
図書 <BB10231328>
数学基礎論序説 / R.L.ワイルダー著 ; 吉田洋一訳
東京 : 培風館 , 1969.4
図書 <BB00615726>
証明論入門 / 竹内外史, 八杉満利子共著
東京 : 共立出版 , 1988.2
図書 <BB00681171>
Q&A数学基礎論入門 / 久馬栄道著
東京 : 共立出版 , 1995.9
図書 <BB00999400>
数学基礎概説 / 大芝猛著
東京 : 共立出版 , 1987.10. - (共立数学講座 ; 10)
図書 <BB00659569>
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
図書 <BB00617497>
数学基礎論 / 隈部正博著
4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)
図書 <BB10268346>
計算基礎論 / 足立暁生著
東京 : オーム社 , 1986.6
図書 <BB00591234>
計算可能性入門 / 小林孝次郎著
東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)
図書 <BB00626564>
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
図書 <BB00588404>
数の概念について / G. Peano著 ; 小野勝次, 梅沢敏郎訳・解説
東京 : 共立出版 , 1969.8. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2)
図書 <BB00616495>
論理数学 / 細井勉著
東京 : 筑摩書房 , 1974.9. - (数理科学シリーズ ; 1)
図書 <BB00616721>
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
図書 <BB00823317>
數理の歴史主義展開 : 數學基礎論覺書 / 田邊元著
東京 : 筑摩書房 , 1954.11
図書 <BB00852701>
數理哲學研究 / 田邊元著
東京 : 岩波書店 , 1925.5
図書 <BB00893889>
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5
図書 <BB00633512>
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
図書 <BB00625719>
キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2016.7
図書 <BB12970632>
プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
東京 : サイエンス社 , 1987.12. - (Information & computing ; 18)
図書 <BB00677249>
現代論理学入門 : 情報から論理へ / 本橋信義著
東京 : 岩波書店 , 1989.4
図書 <BB00731486>
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)
図書 <BB00866009>
思考の道具箱 : 情報 数 空間 論理 無限 数学的リアリティの五つのレベル / ルディ・ラッカー著 ; 大槻有紀子 [ほか] 訳
東京 : 工作舎 , 1993.3
図書 <BB00885476>
復刊. - 東京 : 共立出版 , 2010.6
図書 <BB12057548>
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
図書 <BB01025421>
証明論と計算量 / 竹内外史著
東京 : 裳華房 , 1995.11
図書 <BB01001521>
数理論理学 : 数学的理論の論理的構造 / 前原昭二著
東京 : 培風館 , 1973.5. - (数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 6)
図書 <BB00616830>
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)
図書 <BB10283276>
数学の基礎 / [L.ウィトゲンシュタイン著] ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
図書 <BB00601587>
数学的自由意志論 : 連続公理の証明 -カント研究 / 高田鉄郎著
東京 : 以文社 , 1975.12
図書 <BB00657975>
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書 ; 553)
図書 <BB00619410>
数理論理学序説 / 前原昭二著
東京 : 共立出版 , 1966.6. - (共立全書 ; 160)
図書 <BB00641667>
論理・集合・数学語 / 石川剛郎著
東京 : 共立出版 , 2015.12. - (共立講座 数学探検 ; 3)
図書 <BB12936579>
数理哲学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970.7. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第3)
図書 <BB00779969>
数理論理学入門 / 入江盛一著
東京 : 培風館 , 1973.1
図書 <BB00653604>
必修教程数学原論 / 黒崎達[ほか]共著
改訂新版. - 東京 : 槙書店 , 1987
図書 <BB00677700>