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

Cualquier valor dado aquí se incluirá en la respuesta. Se puede utilizar para distinguir solicitudes.