El análisis matemático de la lógica - Boole, George, 1815-1864 (Colección teorema, 1984)