8 Março 2017, 11:30 • Fernando Ferreira
Continuação da aula anterior. O teorema de Herbrand. Exemplo. Generalizações.