Contenido: Cálculo proposicional / Aristóteles (384-322 a. J. C)
Inferencia lógica / George Boole (1815-11.860)
Cuantificadores / Bertrand Russell (1872-1970)
Conjuntos / George Cantor (1845 -1970)
Números naturales y números cardinales / Giuseppe Peano (1858-1932)
Relaciones /Charles Sanders Pierce (1839-1914)
Funciones / Piter Gustav Lejeune Dirichlet (1805-1859)
Operaciones / Neils Henrik Abel (1802-1829); Evarite Galois (1811-1832) Incluye Índice alfabético pasta blanda
Resumen
En cada tema, la teoría se acompaña con numerosos ejemplos, problemas resueltos desarrollados a todo detalle, y problemas propuestos para el lector.
La gran mayoría de teoremas son presentados con sus respectivas demostraciones. Cuando la demostración es compleja, ésta es presentada como un problema resuelto.
