Introducción a la lógica matemática /
Patrick Suppes.
- 1a. Edición
- México Reverte 1992
- 280 página Ilustraciones 23 cm.
Lenguaje de la lógica proposicional
Tablas de verdad y tautologías
Inferencias y deducción formal
Reglas de inferencia
Lógica de predicados (cuantificadores)
Teoría de conjuntos elementales
Axiomatización y consistencia
Estructuras lógicas y modelos
Principios de demostración matemática
Introducción a la metateoría
"Introducción a la lógica matemática" de Patrick Suppes es una obra fundamental para quienes desean comprender los principios básicos de la lógica formal moderna. Desde el análisis proposicional hasta la lógica de predicados y el razonamiento axiomático, el texto proporciona herramientas teóricas esenciales para el pensamiento lógico y matemático. Es ideal tanto como texto de curso como para el autoestudio de estudiantes universitarios en carreras de matemáticas, filosofía y ciencias de la computación.