Contenidos mínimos
Lógica de primer orden: Lenguajes de primer orden y modelos. Definición inductiva del valor de verdad (Tarski). Equivalencia elemental. Lóg ica ecuacional. Pruebas formales . Teorema de Lowenheim-Skolem. Teorema de Compacidad. Teorías forma les. Teorema de corrección . Teorema de completitud (Godel).