TP11_22 (por videoconferência no Zoom)
11 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 e 154.
11 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 e 154.