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

Marcas de tiempo de expiración. Si solo se establece una marca de tiempo, se utilizará para todas las protecciones. Utiliza infinite, indefinite, infinity, o never para una protección indefinida.