TP11: regras de inferência, demonstrações, quantificadores e operações sobre conjuntos
7 Outubro 2019, 11:00 • Mário João de Jesus Branco
Resolução dos Exercícios 20.g)-l), 21.b)-c), 22, 23.a), b), 28.a), b), c) e 29.a)-d).
7 Outubro 2019, 11:00 • Mário João de Jesus Branco