Opera di grande impegno teorico, il libro è il passo iniziale dal quale è nato lo sviluppo della logica simbolica, ed oggi è considerato l'atto ufficiale di nascita dell'algebra della logica. Il libro è introdotto da un chiaro saggio storico.