Alonzo Church explora la lógica matemática clásica y sus fundamentos teóricos, complementando la rigurosidad y formalismo presentado por Smullyan en su obra.
Introducción a la Lógica de Primer Orden
por Raymond M. Smullyan · 1968
Ver sugerenciasSinopsis
Un texto fundamental que introduce al lector a los principios de la lógica de primer orden de manera rigurosa y formal, con énfasis en la demostración de teoremas y la construcción de sistemas lógicos.
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
Irving M. Copi cubre principios fundamentales de la lógica de predicados y argumentos deductivos, similarmente a la introducción formal que ofrece Smullyan.
Raymond Smullyan en 'Principios de sistemas formales' utiliza un enfoque gradual para explicar la lógica, alineándose con el estilo metódico de 'Introducción a la Lógica de Primer Orden'.
Alfred Tarski discute principios de lógica simbólica, conectando con los sistemas formales y el rigor lógico que Smullyan establece en su libro fundamental.
En 'Introducción a los conceptos básicos de la lógica matemática', Smullyan emplea un estilo claro y gradual, igual que en 'Introducción a la Lógica de Primer Orden'.
Smullyan, en 'Formalización de la Lógica', presenta la lógica de primer orden de forma rigurosa, manteniendo la accesibilidad que caracteriza a su obra introductoria.