16 Dezembro 2019, 18:00 • António José Teiga Zilhão
Resolução de exercícios na Lógica de Predicados.