日本数学会／編 -- 数学書房 -- ２０１５．３ -- 289.1

前原昭二／著 -- 朝倉書店 -- ２００６．３ -- 410.9  (復刊基礎数学シリ－ズ ２３)

Ｒ　ゲ－デル／〔ほか〕著 -- 遊星社 -- １９９２．１２ -- 289.3

ブルバキ／著 -- 東京図書 -- １９８４ --

ブルバキ／著 -- 東京図書 -- １９８４ --

赤摂也／編 -- 筑摩書房 -- １９６９ --  (学問のすすめ ９)