TP16: Quantificadores e demonstrações.

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

Resolução dos Exerc. 36, 21 e 23.