海外名著選 12,13 数理論理学と数学基礎論 2, 3 の2冊
数学基礎論の応用 <数学セミナー増刊・入門 現代の数学 12>
数学基礎論 撰出公理及び一般連続仮説の集合論公理との無矛盾性 <翻訳学術論叢4>
数学基礎論 <ちくま学芸文庫 Math & science>
現代数学講座 1-A 数学基礎論、1-B多変数函数論、1-C微分方程式論
月刊マセマティクス 3号 1980年3月号ホモロジー代数 数学基礎論(続)
数学基礎論序説 (1969年) R.L.ワイルダー; 吉田 洋一
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
哲学の根本問題 数理の歴史主義展開 <岩波文庫 田辺元哲学選 33-694-3 3>
数学の基礎をめぐる論争 21世紀の数学と数学基礎論のあるべき姿を考える
数学の基礎をめぐる論争:21世紀の数学と数学基礎論のあるべき姿を考える
自然数論 <数学ライブラリー 3> 【POD版(ペーパーバック)】
数学基礎論 : 撰出公理及び一般連続仮説の集合論公理との無矛盾性 <翻訳学術論叢 ; 4>
超準解析とファインマン経路積分 <数学基礎論シリーズ / 倉田令二朗 監修 6巻>
数学基礎論 : 撰出公理及び一般連続仮説の集合論公理との無矛盾性 <翻訳学術論叢 5>
アメリカ大陸の奴隷制 : 南北アメリカの比較論争 <神奈川叢書 4>
アメリカ大陸の奴隷制 : 南北アメリカの比較論争 <神奈川叢書 4>
アメリカ大陸の奴隷制 南北アメリカの比較論争 神奈川叢書 4
世界史と救済史 : 歴史哲学の神学的前提 <神奈川叢書 ; 3>
ルネッサンス : その社会学的考察 <フォルミカ選書> 再版
A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC 不完全性定理の理解のために Raymond M.Smullyan Lectures on Mathematical Logic
レイモンド・M・スマリヤン 著 ; 田中一之 監訳 ; 川辺治之 訳、日本評論社、2017.9
363p 22cm
978-4-535-78772-8
フォーラム 現代数学のひろがり ゲーデルと現代ロジック : 数学のたのしみ 2006秋
上野 健爾;砂田 利一;新井 仁之【編】、日本評論社、2006.11.25
139p 24×19cm
4535603200
Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme
ゲーデル 著 ; 林晋, 八杉満利子 訳・解説、岩波書店、2006.9
309p 15cm
4003394410