theses/dissertations advising Lógica intuicionista Sobre a epistemologia da Lingüística de Aoun Teorema de Gödel Semântica nominativa A tese de Church Lógica de primeira ordem e álgebras cilíndricas Teoria de modelos em lógicas abstratas Algebrização da lógica de primeira ordem Razão, computação e lógica Lógica proposicional paraconsistente Anáfora pronominal Razão, computação e sistemas formais
