関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | Q&A数学基礎論入門 / 久馬栄道著. -- 共立出版, 1995.9. | 理数学 410.9:Ky |
| 2 | 完全性定理とモデル理論 / 田中一之編. -- 東京大学出版会, 2006.10. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2). | 図書館(閲覧室) 410.9:Ta:2 |
| 3 | 帰納的関数と述語 / 篠田寿一著. -- 河合文化教育研究所, . -- (数学基礎論シリーズ / 倉田令二朗監修 ; 5巻). | 理数学 410.9:Su:5 |
| 4 | 計算可能性・計算の複雑さ入門 / 渡辺治著. -- 近代科学社, 1992.10. -- (アルゴリズム・シリーズ ; 3). | 理数学 410.9:W |
| 5 | 計算の理論 / 笠井琢美, 戸田誠之助著. -- 共立出版, 1993.6. -- (情報数学講座 ; 4). | 図書館(閲覧室) 410.9:Ka
図書館(書庫) 410.9:Ka
理数学 410.9:Ka |
| 6 | 計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著. -- 第2刷. -- 日本評論社, 2001.4. | 図書館(閲覧室) 410.9:W
図書館(書庫) 410.9:W |
| 7 | 現代論理学入門 : 情報から論理へ / 本橋信義著. -- 岩波書店, 1989.4. | 教養４Ｆ科学論 116:M |
| 8 | ゲーデルと現代ロジック : 「フォーラム」現代数学のひろがり / 上野健爾, 砂田利一, 新井仁之編集. -- 日本評論社, 2006.11. -- (数学のたのしみ ; 2006秋). | 図書館(閲覧室) 410.5:U |
| 9 | ゲーデルの20世紀 / 田中一之編. -- 東京大学出版会, 2006.7. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1). | 図書館(閲覧室) 410.9:Ta:1 |
| 10 | 思考の道具箱 : 情報 数 空間 論理 無限 数学的リアリティの五つのレベル / ルディ・ラッカー著 ; 大槻有紀子 [ほか] 訳. -- 工作舎, 1993.3. | 図書館(書庫) 410.9:R |
選択行を：
|