Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

Un título único descriptivo para el archivo, que servirá como un nombre de archivo. Puedes usar un lenguaje claro con espacios. No incluyas la extensión del archivo.