Publications by 'Raymond M. Smullyan'