Denne anerkjente klassikeren har introdusert et stort antall lesere for symbolsk logikk gjennom sin grundige og presise fremstilling. Boken begynner med enkle symboler og konvensjoner, og avslutter med Boole-Schroeder- og Russell-Whitehead-systemene. Det kreves ingen spesiell matematisk kunnskap for å følge med. 'En av de klareste og enkleste innføringene i et fag som fortsatt er svært relevant,' bemerker Mathematics Gazette.
