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

$1 no puede ser mayor que $2 (fijado a $3) para bots o administradores de sistema.