Logica of redeneerkunst wordt traditioneel door de filosofie bestudeerd, maar wordt ook tot de wiskunde gerekend. Dit boek dient als inleiding tot de logica en behandelt het wiskundige aspect ervan: opbouw van de wiskunde, symbolische logica (met toepassingen zoals verzamelingenleer, logische schakelingen en waarheidsfuncties), predikatenlogica (met onder andere kwantoren, relaties, oordeelsvormen van Aristoteles en cirkels van Euler) en bewijsmethoden in de wiskunde. Naast de theorie worden er tal van oefeningen aangeboden. Het boek sluit af met een zelftest aan de hand van theorievragen en enkele logische puzzels om het redeneervermogen te testen.