Lógica de Predicados - VII

11 Dezembro 2015, 10:00 • António José Teiga Zilhão

Resolução de exercícios na Lógica de Predicados.