raymond smullyan: juegos para imitar a un pajaro imitador

Juegos para imitar un pájaro imitador, del lógico de la Universidad de Indiana, famoso por sus libros divulgativos de lógica formal por medio de acertijos lógicos. El título original en inglés es: "To Mock a Mockingbird" y "Mockingbird" significa: pájaro-burlador, por lo que el título literal sería: "Burlar al pájaro burlador". Los 7 primeros capítulos, Smullyan, los orienta a sus clásicos acertijos, presentes en sus libros divulgativos anteriores, tal que pueden ser resueltos por medio de lógica formal, no obstante, la idea, es que las mentes jóvenes y agudas, los resuelvan, sin necesidad de tener conocimientos de los formalismos de los lógicos profesionales. El capítulo 8 es una meta-adivinanza, para obtener el título de "Caballero". El resto del libro, lo dedica a lógica combinatoria, que es clave, en la actual teoría de la computabilidad y la inteligencia artificial. Existe también un segunda parte del libro.