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 ...