Tercera parte
´
LÓGICA DE PRIMER ORDEN
Capítulo 12. Sintaxis de los lenguajes de primer orden
Capítulo 13. Semántica de los lenguajes de primer orden
Capítulo 14. Verdad, equivalencia y consecuencia lógica
Capítulo 15. Lógica de primer orden con símbolos funcionales
Capítulo 16. Cálculo deductivo
Capítulo 17. Teorías y modelos
Apéndice A. Soluciones a los ejercicios señalados
Apéndice B. Alfabeto griego
Índice de materias