O material teórico será afixado aqui ao longo do semestre.

!label.attachments!

• 31_SegundoIncompletude.pdf
• 30_PrimeiroIncompletude.pdf
• 29_Indecidibilidade.pdf
• 28_Representabilidade.pdf
• 27_Henkin.pdf
• 26_DedForCalPred.pdf
• 25_LegadoLogicista.pdf
• 23_IndefinibilidadeVerdade.pdf
• 22_Hierarquia.pdf
• 21_Completude.pdf
• 20_Enumerabilidade.pdf
• 12_Nullstellensatz.pdf
• 11_Completas.pdf
• 10_LöwenheimSkolem.pdf
• 09_Igualdade.pdf
• 08_SkolemHerbrand.pdf
• 07_Herbrand.pdf
• 06_DefVerdade.pdf
• 05_CalcPredicados.pdf
• 04_DeducoesFormais.pdf
• 03_Compacidade.pdf
• 02_Tautologias.pdf
• 01_LeituraUnica.pdf