レイモンド・スマリヤン
『1階の論理』、未訳。
Is God a Taoist? by Raymond Smullyan, 1977.
Planet Without Laughter by Raymond Smullyan, 1980.
An Epistemological Nightmare by Raymond Smullyan, 1982.
『スマリヤン先生のブール代数入門 嘘つきパズル・パラドックス・論理の花咲く庭園』川辺治之訳、共立出版、2008年8月。ISBN 978-4-320-01869-3。
『形式系の理論』、未訳。