レイモンド・スマリヤン
『この本の名は? 楽しい論理パズル. 1』沖記久子訳、TBS出版会、1982年3月。ISBN 4-7825-1054-3。 - ナイトとネーブ、その他の論理パズル。
『この本の名は? 嘘つきと正直者をめぐる不思議な論理パズル』川辺治之訳、日本評論社、2013年2月。ISBN 978-4-535-78692-9。
ナイトとネーブというパズルは常に真実を話すナイト(騎士)と常に嘘を吐くネーブ(ならず者)とから成る。このパズルは二つの扉と二つの門番のお話の基礎になっている。このお話において門番の一人は常に嘘を吐き、他の一人は常に真実を話す。扉の一つは天国に通じていて、他の扉は地獄へ通じている。このパズルは門番に1回だけ質問をして天国へ通じる扉を見つけよというものである。答の一つは「もう一人の門番が地獄へ通じていると答える扉はどちらですか?」というものである。このアイデアは1985年の映画『ラビリンス/魔王の迷宮』で使われて有名になった。
さらに複雑なパズルにおいて、スマリヤンは“ノーマルズ”というキャラクター(嘘を吐くか、または真実を話す)を創造した。さらに“はい”または“いいえ”と答える代わりに“はい”または“いいえ”を意味する単語で読者がどの単語がどの意味を表すのか分らないパズルを作った。このパズルは「最難論理パズル」として知られていて、上記のようなキャラクターとパズルに基づいている。トランシルヴァニア・パズルにおいては、住民の半数は狂気であり、偽の事実を信じていて、他の半分の住人は正気であり、真の事実のみを信じている。これに加えて、人間は常に真実を語り、ヴァンパイアは常に嘘を吐く。
『数学における再帰理論』、未訳。