TP11: estratégias de demonstração e quantificadores

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

Resolução dos Exercícios 54.c), i), 55.f), g) e 62.e), f), g).