1.

図書
図書
1. 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より
田中一之編・監訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1999.2
所蔵情報: loading…
2.

図書
図書
2. 数学・基礎の基礎
廣瀬健著
出版情報: 東京 : 海鳴社, 1996.6
所蔵情報: loading…
3.

図書
図書
3. Q&A数学基礎論入門
久馬栄道著
出版情報: 東京 : 共立出版, 1995.9
所蔵情報: loading…
4.

図書
図書
4. 論理と計算
萩谷昌己著
出版情報: 東京 : 岩波書店, 1993.6
シリーズ名: 岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎||キソ ; 11
所蔵情報: loading…
5.

図書
図書
5. 計算モデルの基礎理論
井田哲雄 [著]
出版情報: 東京 : 岩波書店, 1991.3
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12
所蔵情報: loading…
6.

図書
図書
6. プログラミングによる計算可能性理論
A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
出版情報: 東京 : サイエンス社, 1987.12
シリーズ名: Information & computing ; 18
所蔵情報: loading…
7.

図書
図書
7. 現代数理論理学入門
J.N.クロスリー [ほか] 著 ; 田中尚夫訳
出版情報: 東京 : 共立出版, 1977.11
シリーズ名: 共立全書 ; 553
所蔵情報: loading…
8.

図書
図書
8. 数学論 : 数学的認識の本性
G.I.ルザービン著 ; 山崎三郎, 柴岡泰光訳
出版情報: 東京 : 岩波書店, 1977.12
所蔵情報: loading…
9.

図書
図書
9. 数学基礎論入門
前原昭二著
出版情報: 東京 : 朝倉書店, 1977.6
シリーズ名: 基礎数学シリーズ ; 26
所蔵情報: loading…
10.

図書
図書
10. 計算の基礎理論
細井勉著
出版情報: 東京 : 教育出版, 1975.1
シリーズ名: シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9
所蔵情報: loading…
11.

図書
図書
11. 論理数学
細井勉著
出版情報: 東京 : 筑摩書房, 1974.9
シリーズ名: 数理科学シリーズ ; 1
所蔵情報: loading…
12.

図書
図書
12. ∀と∃に泣く
石谷茂著
出版情報: 京都 : 現代数学社, 1973.10
シリーズ名: 数学の盲点とその解明
所蔵情報: loading…
13.

図書
図書
13. 数理論理学入門
入江盛一著
出版情報: 東京 : 培風館, 1973.1
所蔵情報: loading…
14.

図書
図書
14. 数学基礎論の世界 : ロジックの雑記帳から
竹内外史著
出版情報: 東京 : 日本評論社, 1972.5
所蔵情報: loading…
15.

図書
図書
15. 数理論理学. 増補版
松本和夫著
出版情報: 東京 : 共立出版, 1971.12
シリーズ名: 共立講座現代の数学 ; 1
所蔵情報: loading…
16.

図書
図書
16. 数理哲学
ニーボン著 ; 安藤洋美訳
出版情報: 東京 : 明治図書出版, 1970.7
シリーズ名: 数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第3
所蔵情報: loading…
17.

図書
図書
17. 数の概念について
G. Peano著 ; 小野勝次, 梅沢敏郎訳・解説
出版情報: 東京 : 共立出版, 1969.8
シリーズ名: 現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2
所蔵情報: loading…
18.

図書
図書
18. 基礎への再認識 . ベクトル解析 ; 複素関数の応用
小口武彦著 . 阿部龍蔵著
出版情報: 東京 : アグネ, 1968.6
シリーズ名: 現象の数学 ; 1
所蔵情報: loading…
19.

図書
図書
19. 数理論理学序説
前原昭二著
出版情報: 東京 : 共立出版, 1966.6
シリーズ名: 共立全書 ; 160
所蔵情報: loading…
20.

図書
図書
20. 線形代数学入門
奥川光太郎著
出版情報: 東京 : 朝倉書店, 1966.9
シリーズ名: 基礎数学シリーズ ; 7
所蔵情報: loading…