O conceito semântico de consequência lógica. Procedimentos de prova. Noções sobre o método axiomático e sobre os conceitos de completude, decidibilidade, indecidibilidade e incompletude. Atividades práticas de ensino, pesquisa e extensão em lógica.
- Professor: Jerzy Andre Brzozowski