京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #数学基礎論)
該当件数:43件
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
図書
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
数学基礎論入門 / R.L.グッドステイン著 ; 赤攝也訳
東京 : 培風館 , 1979.3
数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著
東京 : 日本評論社 , 1997.3
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
数学基礎論序説 / R.L.ワイルダー著 ; 吉田洋一訳
東京 : 培風館 , 1969.4
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5
入門数学基礎論 / 倉田令二朗著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1996.1. - (数学基礎論シリーズ / 倉田令二朗監修 ; 1巻)
数学基礎論へのいざない / 倉田令二朗著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1995.11. - (数学基礎論シリーズ / 倉田令二朗監修 ; 0巻)
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
数学とは何か : 集合・論理 / 前原昭二著
東京 : 総合科学出版 , 1971. - (総合サイエンス・ライブラリー ; 23)
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
計算可能性入門 / 小林孝次郎著
東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)
數理哲學研究 / 田邊元著
東京 : 岩波書店 , 1925.5
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
数理論理学 / 松本和夫著
増補版. - 東京 : 共立出版 , 1971.12. - (共立講座現代の数学 ; 1)
数の概念について / ペアノ著 ; 小野勝次, 梅沢敏郎訳・解説
東京 : 共立出版 , 1969.8. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
数学基礎概説 / 大芝猛著
東京 : 共立出版 , 1987.10. - (共立数学講座 ; 10)
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)