TP11: asserções com mais do que um quantificador e método de indução

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

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