Sommige van onze vroegste ervaringen met de sluitende kracht van een argument komen uit de schoolwiskunde: geconfronteerd met een wiskundig bewijs kunnen we de conclusie niet ontkennen als de premissen eenmaal zijn geaccepteerd. Achter dergelijke argumenten schuilt een meer algemeen patroon van 'demonstratieve argumenten' dat in de wetenschap van de logica wordt bestudeerd. Logisch redeneren wordt toegepast op alle niveaus, van het dagelijks leven tot geavanceerde wetenschappen en een opmerkelijk niveau van complexiteit wordt bereikt in het dagelijkse logische redeneren, zelfs als de principes erachter intuïtief blijven. Jan von Plato geeft een toegankelijke maar rigoureuze inleiding tot een belangrijk aspect van de hedendaagse logica: de deductieve machinerie. Hij laat zien dat wanneer de vormen van logisch redeneren worden geanalyseerd, blijkt dat een beperkte set van eerste principes elk logisch argument kan vertegenwoordigen. Zijn boek zal waardevol zijn voor studenten logica wiskunde en informatica. Taal: Engels