André Rodrigo Ferreira Coggiola
Data da defesa
Título da pesquisa
Tableaux Dedutivos
Orientador
Rodrigo Bacellar
Curso
Mestrado
Local
Sala Virtual