Fundamentos de lógica simbólica

Descripción

Tratado que introduce de manera sistemática los conceptos y métodos de la lógica formal moderna. Los autores desarrollan el cálculo proposicional y de predicados con un enfoque analítico riguroso. Es una obra de referencia académica fundamental para el estudio de la estructura del razonamiento lógico.