TP16: Consequência e equivalência lógicas e demonstrações.
28 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 9-13, 15 e esboço de resolução do Exerc. 18.
28 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 9-13, 15 e esboço de resolução do Exerc. 18.