TP14_21 (por videoconferência no Zoom)

12 Janeiro 2022, 09:30 • Mário Jorge Edmundo

Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 e 154.