Defesas
Tese de Renato Reis Leme
Matrizes Não Determinísticas Restritas Decidíveis para Lógicas Modal e Intuicionista
CLE - UNICAMP
Tese
Filosofia
Orientador
Comissão Examinadora
Yoni Zohar
Carlos Manuel Costa Lourenço Caleiro
NEWTON MARQUES PERON
UNIVERSIDADE FEDERAL DA FRONTEIRA SUL