関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | 記号論理学 / ニーボン著 ; 安藤洋美訳. -- 明治図書出版, 1970. -- (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第1). | 図書館(書庫) 410.9:cK |
| 2 | 計算基礎論 / 足立暁生著. -- オーム社, 1986.6. | 図書館(書庫) 410.9:A |
| 3 | 計算モデルの基礎理論 / 井田哲雄 [著]. -- 岩波書店, 1991.3. -- (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12). | 図書館(書庫) 007.6:I:12 |
| 4 | 計算論 : 計算可能性とラムダ計算 / 高橋正子著. -- 近代科学社, 1991.8. -- (コンピュータサイエンス大学講座 ; 24). | 図書館(閲覧室) 410.9:Ta
図書館(書庫) 410.9:Ta
教養共４Ｆ哲学 410.9:Ta |
| 5 | 自然数論 / 河田敬義著. -- 森北出版, 1968. -- (数学ライブラリー ; 3). | 図書館(書庫) 413.1:Ka |
| 6 | 集合論とプラトニズム / 田中一之編. -- 東京大学出版会, 2007.7. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4). | 図書館(閲覧室) 410.9:Ta:4 |
| 7 | 数学基礎概説 / 大芝猛著. -- 共立出版, 1987.10. -- (共立数学講座 ; 10). | 図書館(書庫) 410.9:O
理数学 410.9:O |
| 8 | 数学基礎論 / 竹内外史, 八杉満利子共著. -- 増補版. -- 共立出版, 1974.3. | 図書館(書庫) 410.9:Ta |
| 9 | 数学基礎論 / ニーボン著 ; 安藤洋美訳. -- 明治図書出版, 1970. -- (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第2). | 図書館(書庫) 410:cK |
| 10 | 数学基礎論 = Mathematical logic / 新井敏康著. -- 岩波書店, 2011.5. | 図書館(閲覧室) 410.9:A |
選択行を：
|