Introdução à teoria dos modelos. Apresentação dos principais meta-teoremas: correção, completude, compacidade, Lövenheim-Skolen. Teorias de Primeira Ordem.
Nenhum pre-requisito encontrado para FIL1315
Nenhum co-requisito encontrado para FIL1315