Uma pequena introdução ao estudo da matemática superior passando por lógica teoria de conjuntos e a construção dos números.
Saiba mais
Uma descrição de nível elementar de uma teoria de conjuntos muito mais eficiente para fundamentar a matemática do que ZFC.
Saiba mais