レイモンド・スマリヤン
未訳。
『対角化と自己参照』、未訳。
スマリヤンは老荘哲学に関する書物を何冊か出版している。老荘哲学はスマリヤンが伝統的な哲学的問題の多くまたは全てを解決すると信じているもので、数学や論理や哲学を一体に統合するものだと信じている。
『無限のパラドックス パズルで学ぶカントールとゲーデル』長尾確訳、白揚社、1994年3月。ISBN 4-8269-0056-2。 『スマリヤンの無限の論理パズル ゲーデルとカントールをめぐる難問奇問』長尾確訳、白揚社、2007年12月。ISBN 978-4-8269-0140-6。
『決定不能の論理パズル ゲーデルの定理と様相論理』田中朋之・長尾確訳、白揚社、1990年11月。ISBN 4-8269-0044-9。 『スマリヤンの決定不能の論理パズル ゲーデルの定理と様相理論』田中朋之・長尾確訳、白揚社、2008年5月。ISBN 978-4-8269-0142-0。 - 形式系の決定不能性に基づくパズル。