24 setembro 2019, 13:00 • João Rasga
Resolução de exercícios sobre satisfação de fórmulas em lógica de primeira-ordem.
