Aula 24/9

Na aula do dia 24/9 veremos provas de independência e alguns resultados metateóricos da lógica intuicionista.

As respectivas apostilas estão no dropbox.