Neste livro, todas as facetas da lógica matemática são apresentadas, como:
simbologia, princípios e propriedades da lógica elementar
lógica booleana
teoria da ordem e sistemas axiomáticos
teoria axiomática dos conjuntos e teoremas de Gõdel
paradoxos lógicos e antinomias lógicas
lógica descritiva e fuzzy
teoria dos números e aritmética modular