17 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais. Resolução dos exercícios 39, 40 e 41.