Curso de Lógica Matemática para los alumnos de la licenciatura en Matemáticas Aplicadas y Computación.
El objetivo de este curso es que el estudiante conozca y comprenda los métodos de la lógica de primer orden, aplicándolos en el contexto de las matemáticas y la ciencia de la computación.
