TP11: conjuntos e asserções com mais do que um quantificador

25 Outubro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 34.g)-l), 35, 37 e 38.a), b).