Descrição:
Principalmente tópicos em lógica clássica e lógica modal, incluindo teoria semântica, métodos dedutivos, e teoria de funções lógicas (funções de verdade, funções modais, quantificadores).
Docente responsável: Prof. Dr. Rodrigo Bacellar (Roderick_Batchelor@hotmail.com)