Grande área: Ciências Exatas e da Terra
Área: Matemática
Sub-área: Fundamentos de Matemática
Especialidade: Sistemas formais
CTIT UFMG