| 科目名称 | 主任講師 | 書名等 | 巻次 | 請求記号 | 禁帯区分 |
| 数学基礎論('08) | 隈部正博 | 数学基礎論入門 / 前原昭二著.-- 復刊.-- 朝倉書店; 2006.3.-- (基礎数学シリーズ ; 23). | | 410.1/Ma27 | |
| A mathematical introduction to logic / Herbert B. Enderton.-- 2nd ed.-- Harcourt/Academic Press; c2001. | | 410.9/E59 | |
| ゲーデルの20世紀 / 田中一之編.-- 東京大学出版会; 2006.7.-- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1). | | 410.1/G55/1 | |
| 完全性定理とモデル理論 / 田中一之編.-- 東京大学出版会; 2006.10.-- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2). | | 410.1/G55/2 | |
| 不完全性定理と算術の体系 / 田中一之編.-- 東京大学出版会; 2007.3.-- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3). | | 410.1/G55/3 | |
| スイッチング理論と応用 / 足立暁生著.-- 東京電機大学出版局; 1990.3.-- (情報科学). | | 411.7/A16 | |
| 現代物理('08) | 生井澤寛、吉岡大二郎 | マクロな体系の論理 : 熱・統計力学の原理 / 吉岡大二郎著.-- 岩波書店; 2002.1.-- (岩波講座物理の世界 / 佐藤文隆 [ほか] 編 ; . 統計力学||トウケイ リキガク ; 2). | | 421.4/Y92 | |
| 量子ホール効果 / 吉岡大二郎著.-- 岩波書店; 1998.7.-- (新物理学選書). | | 427.1/Y92 | |
| 現代物理科学 : フェムトからハッブルの世界まで / 石原修著.-- 共立出版; 2001.11. | | 420/I74 | |
| 熱と温度('08) | 齋藤一弥、堂寺知成 | 熱力学入門 / 佐々真一著 ; 兵頭俊夫編.-- 共立出版; 2000.4. | | 426.5/Sa71 | |
| 熱力学 / 阿竹徹編著 ; 加藤直 [ほか] 共著.-- 丸善; 2001.3.-- (基礎化学コース / 井上晴夫 [ほか] 編). | | 426.5/N66 | |
| 熱・統計力学入門 / 阿部龍蔵著.-- サイエンス社; 2003.11.-- (新物理学ライブラリ ; 7). | | 426/A12 | |
| 環境物理学 / 中川和道, 蛯名邦禎, 伊藤真之著.-- 裳華房; 2004.11.-- (裳華房フィジックスライブラリー). | | 420/Ka56 | |
| 統計物理学入門 / 上田和夫著.-- 共立出版; 2001.5. | | 421.4/U32 | |
| 技術革新を支える物質の科学('08) | 東千秋、飯田汎、雀部博之 | ニッポン技術者の使命 / 飯田汎著.-- 丸善; 2005.9. | | 502.1/I26 | |
| イノベーション破壊と共鳴 / 山口栄一著.-- NTT出版; 2006.3. | | 602.1/Y24 | |
| ファクター10 : エコ効率革命を実現する / F.シュミット=ブレーク著 ; 佐々木建訳.-- シュプリンガー・フェアラーク東京; 1997.5. | | 519/Sc5 | |
| 理系白書 : この国を静かに支える人たち / 毎日新聞科学環境部著.-- 講談社; 2003.6. | | 402.1/R41 | |
| バイオサイエンスで豊かな暮らし('08) | 冨田房男、塚越規弘 | 応用微生物学 / 塚越規弘編.-- 朝倉書店; 2004.10. | | 588.5/O95 | |
| 細胞工学の基礎 / 永井和夫, 冨田房男, 長田敏行著.-- 東京化学同人; 2004.6.-- (応用生命科学シリーズ ; 2). | | 463/Sa17 | |
| 微生物科学 : 基礎・バイオ・環境利用まで / 宍戸和夫, 塚越規弘共著.-- 昭晃堂; 1998.4. | | 465/B47 | |