A
A. LÓGICA ↑
A.1 História da matemática e de matemáticos
A.2 Epistemologia, fundações e lógica matemática
A.3 Teoria dos conjuntos
A.4 Teoria da prova
A.5 Problemas clássicos e abertos em Matemática
A.6 Teoria de modelos
A.7 Modelos não-padrão
A.8 Lógica algébrica
A.9 Teoria de computabilidade e recursão
