ポール・Ｊ．ナーイン／著 -- 青土社 -- 200808 --

カルヴィン・Ｃ．クロースン／著 -- 青土社 -- 200609 --

カルヴィン・Ｃ．クロースン／著 -- 青土社 -- 200505 --

ジェレミー・Ｊ．グレイ／著 -- 青土社 -- 200312 --

Ａ．Ｋ．デュードニー／著 -- 青土社 -- 200107 --

ゲーデル／〔著〕 -- 青土社 -- 199708 --

ドナルド・Ｍ．デイビス／著 -- 青土社 -- 199601 --

ブライアン・バンチ／著 -- 青土社 -- 199402 --

ドナルド・アルバース／〔ほか〕編 -- 青土社 -- 199309 --

Ｕ．ボタチーニ／著 -- 現代数学社 -- 199010 --