Algunos tópicos de Lógica matemática y los Fundamentos de la matemática

Un tratado completo de lógica de primer orden, cálculo deductivo y teorías axiomáticas. Recorre desde los lenguajes formales y modelos hasta los teoremas de incompletitud con rigor y claridad.

Carlos Ivorra Castillo

Recorre la lógica de primer orden y la enlaza con la teoría axiomática de conjuntos. Ideal para entender cómo se construyen las matemáticas desde sus cimientos formales.

Carlos Ivorra Castillo

Manual universitario que combina la mirada matemática y filosófica de la lógica formal. Desarrolla cálculo proposicional, cuantificadores y métodos de demostración con numerosos ejemplos.

Julio Ernesto Solís Daun, Yolanda Torres Falcón

Primer tomo centrado en proposiciones y leyes de inferencia. Explica tablas de verdad, conectivos y razonamiento deductivo paso a paso, con numerosos ejemplos.

Enrry Castillo P, Maritza Alexandra Pinta

Introduce la lógica, la teoría de conjuntos y la construcción de los sistemas numéricos. Un puente sólido entre el razonamiento formal y el álgebra para los primeros años de universidad.

Carlos Uzcátegui Aylwin