本多修郎／著 -- 現代数学社 -- １９８９．８ -- 410.2

山口昌哉／著 -- 筑摩書房 -- １９８５．４ -- 410.1

ルネ・トム／〔ほか〕著 -- みすず書房 -- １９７７．１０ -- 410.11

ゲーデル／〔著〕 -- 青土社 -- １９９７．８ -- 410.1

スチュワート・シャピロ／著 -- 筑摩書房 -- ２０１２．１ -- 410.1

ジャン・アレクサンドル・ディユドネ／ほか著 -- 日本評論社 -- １９８４．７ -- 410.1

ディユドネ／ほか著 -- 日本評論社 -- １９８４．８ -- 410.1

砂田利一／著 -- 東京図書 -- ２０１１．１１ -- 410.1

ヒュー・レーマン／著 -- 紀伊国屋書店 -- １９８３．２ -- 410.1

Ｅ．Ｗ．ベート／著 -- 現代数学社 -- １９８６．５ -- 410.1