Ambos textos, de Mates, ofrecen una introducción rigurosa a la lógica formal, enfatizando el cálculo proposicional y de predicados en un formato accesible.
Elementos de lógica formal
por Benson Mates · 1965
Ver sugerenciasSinopsis
Una introducción exhaustiva a la lógica simbólica, cubriendo cálculo proposicional, cálculo de predicados de primer orden, y sistemas formales, con un énfasis en la precisión y la deducción.
Sé el primero en valorar este libro.
Más de Benson Mates
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
La obra de Mendelson trata la lógica proposicional y de predicados con un enfoque en formalismos axiomáticos, similar a la estructura metódica de Mates.
El texto de Łukasiewicz presenta conceptos fundamentales de lógica simbólica y aborda innovaciones en notación, ampliando los postulados tratados por Mates.
Smullyan introduce fundamentos de lógica matemática de manera clara y accesible, compartiendo la intención pedagógica de Mates de facilitar la comprensión de la lógica.
El libro de Suppes ofrece un tratamiento axiomático exhaustivo de la lógica formal, tocando elementos que son centrales en el enfoque de Mates.
Grzegorczyk proporciona una introducción concisa y rigurosa a la lógica formal, abarcando temas que Mates también enfatiza en su obra, como los cálculos fundacionales.