Ejercicios
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 17:15 17 oct 2019 de Mjoseh (discusión | contribuciones)
En esta sección se publicarán las relaciones de ejercicios que se escribirán de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.