Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e di grandi dimensioni. Questo volume, rivolto a studenti sia di materie umanistiche sia scientifiche, è una guida introduttiva che coniuga una non comune chiarezza espositiva con il necessario rigore scientifico. Tutti i concetti e le tecniche di calcolo caratteristiche dell'indagine logica sono introdotti in modo graduale e illustrati con molteplici esempi e ogni capitolo è corredato da numerosi esercizi - tutti con risposta, spesso adeguatamente commentata - che consentono di consolidare le conoscenze acquisite.
'divertimento geometrico' è l'ambizioso tentativo di riscrivere, in linguaggio moderno e accessibile da un lato, e in maniera autosufficiente dall'altro, il classico libro di david hilbert sui 'fondamenti della geometria'. Un'attenzione particolare viene data alle problematiche di natura metamatematica che quel libro pose sul tappeto nel 1899, e che nel novecento divennero centrali e caratterizzanti non soltanto per la geometria assiomatica, ma anche e soprattutto per la logica matematica e per lo studio dei fondamenti: i problemi, cioè, relativi alla completezza, alla consistenza e all'indipendenza dei sistemi di assiomi.
