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

Añadir este texto al principio de la página. Reemplaza $1text.

Utiliza $1section=new para añadir una nueva sección, en lugar de este parámetro.