TP11: asserções com um quantificador

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

Resolução dos Exercícios 23.c)-l), 24, 25.c)-e) e 26.