Elementos de lógica y teoría de modelos

Sinopsis

Este libro introduce los fundamentos de la lógica matemática y la teoría de modelos de una manera clara, haciéndolos accesibles incluso para aquellos sin un fuerte bagaje matemático previo. Explora temas como la completitud, la compacidad y los teoremas de Löwenheim-Skolem.