TP11: conjuntos e asserções com mais do que um quantificador. Tipologia da aula: videoconferência + presencial.

16 Novembro 2020, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 36.b), c), d), 37, 38.a)-g) e 40.a.i)-iv).