TP11_11

16 Novembro 2021, 08:00 • Mário Jorge Edmundo

Mais exemplos de demonstrações formais. Resolução dos exercícios 43 (2, 3, 4, 5), 44 (1, 3).