Grande área: Ciências Humanas
Área:
Sub-área: Lógica
Especialidade: Teoria da Recursão
CTIT UFMG