Lógica y Teoría de Conjuntos

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

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

Presenta la lógica simbólica y la inferencia con un enfoque aplicado, incluido el sistema binario y ejercicios. Útil para estudiantes de ingeniería e informática.

Julio Cesar Romero Pabón, Roberto Enrique Figueroa Molina, Gabriel Mauricio Vergara Ríos