Logica: grondbeginselen en toepassingen

Door logische systemen te funderen en deze toe te passen onderscheidt de moderne logica zich van de traditionele. Dat blijkt al in 1929, als Arend Heyting zijn intuïtionistische systeem uitwerkt en publiceert. De intuïtionistische benadering is - ondanks haar afwijkende aanpak - sindsdien niet meer problematisch. Van dit systeembegrip van de moderne logica maken de auteurs van dit boek gebruik om de toegang tot de logica te vergemakkelijken. Zij verduidelijken de eenvoud van de logische systemen. Echter zonder concessies wat betreft de exactheid! Wel maken zij de bewijzen toegankelijker door geen complexe bewijsstappen aan de lezer over te laten. De tekst is jarenlang gebruikt als leerstof voor niet-wiskundigen. Het boek is dan ook geschikt voor een breed publiek: bij een dosis geduld en enthousiasme verschaft het boek aan elke geïnteresseerde academicus de toegang tot de cruciale vraagstukken van de 'zuivere' logica en van de logica zoals die op uiteenlopende gebieden wordt toegepast.