関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
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 教養共4F哲学 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 |
選択行を:
|