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

Producir los datos de salida en formato PHP serializado (con resaltado sintáctico en HTML).