
por Raymond M. Smullyan · 1978
Sinopsis
Un libro de texto clásico que introduce los conceptos fundamentales de la lógica de primer orden, la incompletitud de Gödel y la teoría de la computabilidad, presentado con claridad y elegancia.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda