Cálculo clássico de primeira ordem. Teorias formalizadas. Procedimentos de prova. Noções sobre lógicas de ordem superior. Propiciar ao estudante familiaridade com a lógica clássica de primeira ordem e com procedimentos de prova, bem como a compreensão de alguns resultados fundamentais sobre a lógica clássica e teorias elementares. Atividades práticas de ensino, pesquisa e extensão em lógica.
- Professor: Matheus de Lima Rui