レイモンド・スマリヤン
『ゲーデルの不完全性定理』高橋昌一郎訳、丸善、1996年7月。ISBN 4-621-04204-1。 『スマリヤン不完全性定理 改訳版』高橋昌一郎監訳、川辺治之・村上祐子訳、丸善出版、2019年。ISBN 4-621-30478-X。
『哲学ファンタジー』高橋昌一郎訳、丸善、1995年4月。ISBN 4-621-04053-7。