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

Lista de tipos de opciones a restablecer cuando la opción $1reset esté establecida.