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

Comprobar que el usuario haya iniciado sesión si el valor es user o si tiene el permiso de bot si es bot.