和歌山大学が所蔵している図書や雑誌(電子ブック・電子ジャーナル含む)を検索します。
日本の大学図書館が所蔵している図書や雑誌を検索できます。
国立国会図書館が所蔵している図書や雑誌などを検索できます。
日本語の雑誌記事・学術論文を検索できます。
IRDBを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:43件
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
図書
二十世紀数学思想 / 佐々木力 [著]
: 新装版. - 東京 : みすず書房 , 2014.7
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
離散構造 : アルゴリズムの原理を学ぶ / James L. Hein著 ; 神林靖訳
[東京] : 翔泳社 , 2011.6. - (独習コンピュータ科学基礎 ; 1)
数学基礎論 = Mathematical logic / 新井敏康著
東京 : 岩波書店 , 2011.5
集合論とプラトニズム / 田中一之編
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
ε (エプシロン) -δ (デルタ) に泣く / 石谷茂著
京都 : 現代数学社 , 2006.11. - (数学の盲点とその解明)
∀ (すべて) と∃ (存在) に泣く / 石谷茂著
新版. - 京都 : 現代数学社 , 2006.11. - (数学の盲点とその解明)
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
数学と論理 / 難波完爾著
東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
東京 : みすず書房 , 2001.4
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
数学・基礎の基礎 / 廣瀬健著
東京 : 海鳴社 , 1996.6
Q&A数学基礎論入門 / 久馬栄道著
東京 : 共立出版 , 1995.9
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)