Grande área: Ciências Exatas e da Terra
Área: Matemática
Sub-área: Lógica Matemática
Especialidade: Teorias Formais
CTIT UFMG