日経マグロウヒル社. -- (南大沢:本館). -- 試作版 [0巻1号] (1975.10)-. -- 日経マグロウヒル社, 1975. -- 巻号等：1289<雑誌>

現代数学社 [編]. -- (南大沢:本館). -- 46巻4号 (2013.4)- = 通巻556号 (2013.4)-. -- 現代数学社, 2013. -- 巻号等：58(7)<雑誌>

全国社会福祉協議会 [編]. -- (南大沢:本館). -- 44巻1号 (昭36.1)-. -- 全国社会福祉協議会, 1961. -- 巻号等：108(7)<雑誌>

(南大沢:本館). -- 36巻7号 (1999.6)- = 474号 (1999.6)-. -- 明治図書出版, 1999. -- 巻号等：62(7)<雑誌>

(日野). -- 44巻4号 (平10.4)- = 通巻545号 (平10.4)-. -- 日本電設工業協会, 1998. -- 巻号等：71(6)<雑誌>

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

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

T.レンスター著 ; 土岡俊介訳. -- 丸善出版, 2017.<図書>

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

Hal R. Varian. -- 3rd ed. -- W.W. Norton, 1992.<図書>