O material teórico será afixado aqui ao longo do semestre.
Anexos
- 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