15 Dezembro 2015, 10:00 • António José Teiga Zilhão
Resolução de exercícios no âmbito da Lógica de Predicados.