AULA 2

16 Fevereiro 2017, 09:30 • Fernando Ferreira

Completude vero-funcional.

O teorema da compacidade do cálculo proposicional.