Lógica de Predicados - VII

15 Dezembro 2016, 10:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito do Cálculo de Predicados.