11 Novembro 2020, 08:00 • Bruno Dinis
Exemplos de demonstrações formais. Resolução dos exercícios 39, 40 e 41.