ＲａｙｍｏｎｄＳｍｕｌｌｙａｎ／〔著〕 -- 丸善出版 -- 201912 --

田中一之／著 -- 東京大学出版会 -- 201204 --

トルケル・フランセーン／〔著〕 -- みすず書房 -- 201103 --

ゲーデル／〔著〕 -- 岩波書店 -- 200609 --

野崎昭弘／著 -- 筑摩書房 -- 200605 --

高橋昌一郎／著 -- 講談社 -- 199908 --

野崎昭弘／著 -- 日本評論社 -- 199609 --

レイモンド・スマリヤン／〔著〕 -- 丸善 -- 199607 --

林晋／著 -- 岩波書店 -- 199311 --