close
1.

図書
図書
1. ∀と∃
石谷茂著
出版情報: 京都 : 現代数学社, 2022.3
シリーズ名: 数学の盲点とその解明 ; 2
所蔵情報: loading…
2.

図書
図書
2. 数学基礎論 = Mathematical Logic. 増補版
新井敏康著
出版情報: 東京 : 東京大学出版会, 2021.4
所蔵情報: loading…
3.

図書
図書
3. 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics
田中一之著
出版情報: 東京 : 裳華房, 2019.6
所蔵情報: loading…
4.

図書
図書
4. 集合・写像・論理 : 数学の基本を学ぶ
中島匠一著
出版情報: 東京 : 共立出版, 2012.2
所蔵情報: loading…
5.

図書
図書
5. 数学基礎論 = Mathematical logic
新井敏康著
出版情報: 東京 : 岩波書店, 2011.5
所蔵情報: loading…
6.

図書
図書
6. 数学基礎論. 4訂版
隈部正博著
出版情報: 東京 : 放送大学教育振興会, 2008.3
シリーズ名: 放送大学教材 ; 1560409-1-0811
所蔵情報: loading…
7.

図書
図書
7. 論理と計算のしくみ
萩谷昌己, 西崎真也著
出版情報: 東京 : 岩波書店, 2007.6
所蔵情報: loading…
8.

図書
図書
8. 数学と論理
難波完爾著
出版情報: 東京 : 朝倉書店, 2003.4
シリーズ名: 講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23
所蔵情報: loading…
9.

図書
図書
9. 数の体系と超準モデル
田中一之著
出版情報: 東京 : 裳華房, 2002.4
所蔵情報: loading…
10.

図書
図書
10. お話・数学基礎論 : 数学では必ず正しい結論に到達できるか?
八杉満利子, 林晋著
出版情報: 東京 : 講談社, 2002.6
シリーズ名: ブルーバックス ; B-1374
所蔵情報: loading…
11.

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

図書
図書
12. 帰納的関数と述語
篠田寿一著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版 (発売), 1997.5
シリーズ名: 数学基礎論シリーズ / 倉田令二朗監修 ; 5巻
所蔵情報: loading…
13.

図書
図書
13. 逆数学と2階算術
田中一之著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版 (発売), 1997.8
シリーズ名: 数学基礎論シリーズ / 倉田令二朗監修 ; 4巻
所蔵情報: loading…
14.

図書
図書
14. 数学基礎論講義 : 不完全性定理とその発展
田中一之 [ほか] 著
出版情報: 東京 : 日本評論社, 1997.3
所蔵情報: loading…
15.

図書
図書
15. 入門数学基礎論
倉田令二朗著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版 (発売), 1996.1
シリーズ名: 数学基礎論シリーズ / 倉田令二朗監修 ; 1巻
所蔵情報: loading…
16.

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

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

図書
図書
18. 数学基礎論へのいざない
倉田令二朗著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版 (発売), 1995.11
シリーズ名: 数学基礎論シリーズ / 倉田令二朗監修 ; 0巻
所蔵情報: loading…
19.

図書
図書
19. 数学基礎論
山本新著
出版情報: 東京 : 高文堂出版社, 1994.9
所蔵情報: loading…
20.

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

図書
図書
21. 計算可能性・計算の複雑さ入門
渡辺治著
出版情報: 東京 : 近代科学社, 1992.10
シリーズ名: アルゴリズム・シリーズ ; 3
所蔵情報: loading…
22.

図書
図書
22. 計算論 : 計算可能性とラムダ計算
高橋正子著
出版情報: 東京 : 近代科学社, 1991.8
シリーズ名: コンピュータサイエンス大学講座 ; 24
所蔵情報: loading…
23.

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

図書
図書
24. 計算機数学
町田元, 横森貴共著
出版情報: 東京 : 森北出版, 1990.5
所蔵情報: loading…
25.

図書
図書
25. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: loading…
26.

図書
図書
26. 数学基礎概説
大芝猛著
出版情報: 東京 : 共立出版, 1987.10
シリーズ名: 共立数学講座 ; 10
所蔵情報: loading…
27.

図書
図書
27. 計算基礎論
足立暁生著
出版情報: 東京 : オーム社, 1986.6
所蔵情報: loading…
28.

図書
図書
28. スイッチング理論演習
向殿政男, 笹尾勤著
出版情報: 東京 : 朝倉書店, 1984.5
シリーズ名: 電気・電子・通信・情報工学演習シリーズ / 相磯秀夫 [ほか] 編
所蔵情報: loading…
29.

図書
図書
29. 束と論理
松本和夫著
出版情報: 東京 : 森北出版, 1980.5
シリーズ名: 情報工学シリーズ ; 1 . 情報数学||ジョウホウ スウガク ; 1
所蔵情報: loading…
30.

図書
図書
30. 計算可能性入門
小林孝次郎著
出版情報: 東京 : 近代科学社, 1980.2
シリーズ名: コンピュータサイエンス大学講座
所蔵情報: loading…
31.

図書
図書
31. 数学基礎論入門
R.L.グッドステイン著 ; 赤攝也訳
出版情報: 東京 : 培風館, 1979.3
所蔵情報: loading…
32.

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

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

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

図書
図書
35. ε-δに泣く : 数学の盲点とその解明
石谷茂著
出版情報: 京都 : 現代数学社, 1976.10
所蔵情報: loading…
36.

図書
図書
36. 数学の基礎
L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳
出版情報: 東京 : 大修館書店, 1976.5
シリーズ名: ウィトゲンシュタイン全集 ; 7
所蔵情報: loading…
37.

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

図書
図書
38. 数学基礎論. 増補版
竹内外史, 八杉満利子著
出版情報: 東京 : 共立出版, 1974.3
シリーズ名: 現代数学講座 ; 1
所蔵情報: loading…
39.

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

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

図書
図書
41. 数理論理学 : 数学的理論の論理的構造
前原昭二著
出版情報: 東京 : 培風館, 1973.5
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 6
所蔵情報: loading…
42.

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

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

図書
図書
44. 数学とは何か : 集合・論理
前原昭二著
出版情報: 東京 : 総合科学出版, 1971
シリーズ名: 総合サイエンス・ライブラリー ; 23
所蔵情報: loading…
45.

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

図書
図書
46. Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel
edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn
出版情報: New York : Springer-Verlag, 1969
所蔵情報: loading…
47.

図書
図書
47. 数学基礎論序説
R.L.ワイルダー著 ; 吉田洋一訳
出版情報: 東京 : 培風館, 1969.4
所蔵情報: loading…
48.

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

図書
図書
49. 自然数論
河田敬義著
出版情報: 東京 : 森北出版, 1968
シリーズ名: 数学ライブラリー ; 3
所蔵情報: loading…
50.

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

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