Introducción a la lógica de primer orden - 2016

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