Raymond Smullyan
No catálogo
Alice no país dos enigmas
Lógica de primeira ordem