En este libro se presentan todas las facetas de la lógica matemática, tales como:
simbología, principios y propiedades de la lógica elemental
lógica booleana
teoría de órdenes y sistemas axiomáticos
teoría axiomática de conjuntos y teoremas de Godel
paradojas lógicas y antinomias lógicas
lógica descriptiva y difusa
teoría de números y aritmética modular