Ambos libros de Smullyan presentan la lógica matemática de manera didáctica, utilizando un estilo claro que facilita la comprensión de conceptos complejos.
Un Curso Elemental de Lógica Matemática
por Raymond M. Smullyan · 1978
Ver sugerenciasSinopsis
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.
Más de Raymond M. Smullyan
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Manin, al igual que Smullyan, aborda la lógica desde la proposicional hasta la computabilidad, ofreciendo un tratamiento riguroso y accesible de los temas.
Smullyan utiliza acertijos lógicos en su explicación del teorema de Gödel, similar a su enfoque en 'Un Curso Elemental' para hacerlo comprensible y atractivo.
Halmos introduce los fundamentos de la lógica matemática con rigor, al igual que Smullyan, presentando conceptos como la lógica proposicional de manera progresiva y clara.
En este libro, Smullyan explora la lógica y la computabilidad, manteniendo el estilo expositivo único que caracteriza su obra, similar al curso elemental.
Smullyan explica la teoría de modelos y la lógica matemática de forma accesible, tal como en su curso elemental, destacando la completitud y la compacidad.