Lista dos principais lógicos do ocidente
Resumo das contribuições dos principais pesquisadores da Lógica.
Definições da Álgebra Abstrata
Lista de algumas das definições que nos deparamos ao estudar Álgebra Abstrata.
Definições da Teoria dos Conjuntos
Lista de algumas definições que vemos ao estudar Teoria de Conjuntos.
Prova de que um conjunto é quociente se e só se é uma partição
Prova de que todo conjunto quociente é uma partição e que toda partição é um conjunto quociente.