レイモンド・スマリヤン
『スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ』川辺治之 訳、日本評論社、2014年11月。ISBN 978-4-535-78754-4。http://www.nippyo.co.jp/book/6677.html。
「それではスマリヤン教授をご紹介しましょう。教授は彼が存在しないか、またはあなたが存在しないことを証明するでしょう。しかし、あなたはどっちか知ることはないでしょう。」 --Melvin Fitting
『スマリヤンの究極の論理パズル 数の不思議からゲーデルの定理へ』長尾確・長尾加寿恵訳、白揚社、2001年3月。ISBN 4-8269-0099-6。 『スマリヤンの究極の論理パズル 数の不思議からゲーデルの定理へ』長尾確・長尾加寿恵訳、白揚社、2008年5月。ISBN 978-4-8269-0143-7。