Anjolina Grisi de Oliveira
Áreas de Interesse
O estudo de provas como objeto geométrico
(interesse atual)
Teoria da Prova
Lógica e Teoria da Complexidade
Sistemas dedutivos rotulados