Author: Erhan Kibaroglu Raymond M. Smullyan