大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:26件
数学基礎論 / 隈部正博著
4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)
図書
3訂版. - 東京 : 放送大学教育振興会 , 2003.3. - (放送大学教材 ; 1666118-1-0311)
二十世紀数学思想 / 佐々木力 [著]
東京 : みすず書房 , 2001.4
数学の基礎・人間活動と数学
東京 : 大竹出版 , 2001.3. - (みえる数学の世界 / 山崎昇監訳 ; 3)
計算の理論 / 野崎昭弘, 仙波一郎著
東京 : 放送大学教育振興会 , 1995.3. - (放送大学教材 ; 86591-1-9511)
数学基礎論 / 山本新著
東京 : 高文堂出版社 , 1994.9
思考の道具箱 : 情報 数 空間 論理 無限 数学的リアリティの五つのレベル / ルディ・ラッカー著; 大槻有紀子 [ほか] 訳
東京 : 工作舎 , 1993.3
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8
計算モデルの基礎理論 / 井田哲雄 [著]
東京 : 岩波書店 , 1991.3. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12)
計算機数学 / 町田元, 横森貴共著
東京 : 森北出版 , 1990.5
証明論入門 / 竹内外史, 八杉満利子共著
東京 : 共立出版 , 1988.2
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . ; 1情報数学)
数学基礎論入門 / R.L.グッドステイン著 ; 赤攝也訳
東京 : 培風館 , 1979.3
数学論 : 数学的認識の本性 / G.I.ルザービン著 ; 山崎三郎, 柴岡泰光訳
東京 : 岩波書店 , 1977.12
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
ε-δに泣く / 石谷茂著
京都 : 現代数学社 , 1976.10. - (数学の盲点とその解明)
数学の基礎 / L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1973.10. - (数学の盲点とその解明)
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5