close
1.

図書
図書
1. ∀ (すべて) と∃ (存在) に泣く. 新版
石谷茂著
出版情報: 京都 : 現代数学社, 2006.11
シリーズ名: 数学の盲点とその解明
所蔵情報: loading…
2.

図書
図書
2. ε (エプシロン) -δ (デルタ) に泣く
石谷茂著
出版情報: 京都 : 現代数学社, 2006.11
シリーズ名: 数学の盲点とその解明
所蔵情報: loading…
3.

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

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

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

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

図書
図書
7. 數理の歴史主義展開 : 數學基礎論覺書
田邊元著
出版情報: 東京 : 筑摩書房, 1954.11
所蔵情報: loading…
8.

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

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

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