(南大沢:本館). -- 第465号 (2025.1)-. -- 新建築社, 2024. -- 巻号等：472<雑誌>

(南大沢:本館). -- 49巻4号 (2021.4)- = 通巻574号 (2021.4)-. -- 学研教育みらい, 2021. -- 巻号等：53(8)<雑誌>

システム制御情報学会. -- (南大沢:本館). -- Vol. 33, no. 1 (Jan. 1989)-. -- システム制御情報学会, 1989. -- 巻号等：69(7)<雑誌>

日本助産婦看護婦保健婦協會編集. -- (南大沢:本館). -- 1卷1號 ([昭24].7)-. -- 日本助産婦看護婦保健婦協會, 1949. -- 巻号等：77(10)<雑誌>

(南大沢:本館). -- 1巻1号 (昭27.11)-. -- 文林堂, 1952. -- 巻号等：74(9)<雑誌>

田中一之編. -- 東京大学出版会, 2007. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3).<図書>

木下是雄著. -- [改版]. -- 中央公論新社, 2002. -- (中公新書 ; 624).<図書>

Jacquelin Perry, Judith M. Burnfield原著 ; 武田功統括監訳 ; 弓岡光徳 [ほか] 監訳. -- 第2版. -- 医歯薬出版, 2012.<図書>

杉浦光夫著 ; 1, 2. -- 東京大学出版会, 1980. -- (基礎数学 ; 2-3). -- 巻号等：1<図書>

D.マクラガン, B.シュツルムフェルズ著 ; 石川剛郎 [ほか] 訳. -- 丸善出版, 2023.<図書>