Próximas aulas e terceira prova

Olá para todos.
Nas próximas aulas, 1 e 3 de novembro, concluiremos a terceira parte do curso.
Veremos o que acontece com compacidade, Lowenheim-Skolem e modelos não
standard em segunda ordem.
A prova sobre esses assuntos será no dia 17 de novembro.
A partir de terça, 8 de novembro, veremos construtivismo e lógica intuicionista.
Abraços