Arthur; Dietrichson, Paul; Keyt, David; Miller, Leonard (Editors) Smullyan