1.

図書
図書
1. 数理基礎論講義 : 論理・集合・位相
金子晃著
出版情報: 東京 : サイエンス社, 2010.6
シリーズ名: ライブラリ数理・情報系の数学講義 ; 1
所蔵情報: loading…
2.

図書
図書
2. 二十世紀数学思想 (: 新装版)
佐々木力 [著]
出版情報: 東京 : みすず書房, 2014.7
所蔵情報: loading…
3.

図書
図書
3. 公理と証明 : 証明論への招待
彌永昌吉, 赤攝也著
出版情報: 東京 : 筑摩書房, 2012.9
シリーズ名: ちくま学芸文庫 ; [イ37-2]
所蔵情報: loading…
4.

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

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

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

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

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

電子ブック
ＥＢ
9. 数学基礎論入門. 復刊 (: electronic bk)
前原昭二著
出版情報: 東京 : 朝倉書店, 2006.3
シリーズ名: 基礎数学シリーズ ; 23
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000002912
所蔵情報: loading…
10.

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