9 Março 2017, 09:30 • Fernando Ferreira
Skolemizações. O teorema da compacidade do cálculo de predicados.