Introducción a la lógica de primer orden

En este documento se motivan las ideas básicas de lo que se va a estar estudiando en el resto del curso.