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

Formato de serialización de contenido utilizado para la introducción de texto. Sólo es válido cuando se utiliza con $1text.