IV. Lógica de Predicados - 4

15 Dezembro 2020, 15:30 António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica de Predicados.