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

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

Resolução dos Exercícios 38.h)-l), 39 e 40.a.vii), b).