Το βιβλίο, μια εξαιρετική συλλογή προβλημάτων -παραδόξων, μεταγρίφων, αινιγμάτων συνδυαστικής, κ.λπ.- της σύγχρονης μαθηματικής λογικής, έχει ως κύριο σκοπό του να εξηγήσει, με τρόπο μοναδικό, το θεώρημα της μη πληρότητας του Goedel και το θεώρημα της τυπικής μη ορισιμότητας της αλήθειας του Tarski.

Ο Raymond Smullyan υπήρξε Καθηγητής μαθηματικών στο Πολιτειακό Πανεπιστήμιο της Νέας Υόρκης και Καθηγητής φιλοσοφίας στο Πανεπιστήμιο της Ιντιάνα.

«Σπινθηροβόλα συλλογή προβλημάτων και παραδόξων από τον πιο ψυχαγωγικό επαΐοντα της μαθηματικής λογικής και της θεωρίας συνόλων που υπήρξε ποτέ...»
Martin Gardner

«Ο μεταγρίφος "Ποιος είναι ο κατάσκοπος;" αποτελεί τον πιο ευφυή γρίφο λογικής που διατυπώθηκε ποτέ...»
G. Boolos,
Καθηγητής φιλοσοφίας στο ΜΙΤ