Questo eserciziario vuole essere un ausilio per gli studenti universitari alle prese con un corso base di logica. Consiste in una collezione di esercizi risolti su insiemi (notazione insiemistica e operazioni su insiemi, prodotto cartesiano e insieme potenza, relazioni e funzioni, cardinalità e numerali), metodi dimostrativi (dimostrazione contronominale, dimostrazione per assurdo, dimostrazione per casi, induzione matematica), logica e calcolo proposizionali (sintassi, semantica, tableaux, derivazioni di sequenze, teoremi, formule interderivabili e teorie proposizionali). Gli esercizi sono raccolti per argomenti introdotti da brevi rimandi alla teoria (pillole di teoria).

Intervistati sul valore di questo testo, gli autori hanno dichiarato: o questa affermazione falsa, oppure questo il miglior eserciziario di logica che sia mai stato scritto. Se la loro affermazione vi risulta poco comprensibile, ma avete intenzione di capirci qualcosa di più, questo eserciziario può fare al caso vostro! uno strumento che integra ed estende un comune manuale di logica - ma che non si sostituisce ad esso, mancando la parte teorica -, ed pensato per coloro che hanno intrapreso lo studio della logica per la prima volta e desiderano farne pratica. Il testo si rivolge principalmente agli studenti universitari che seguono un corso base di logica, ma anche a chi sta tentando di barcamenarsi con questa disciplina al di fuori dell'ambiente accademico. Se sarete disposti a mettervi in gioco e a spremervi un po' le meningi, scoprirete che o l'affermazione degli autori falsa o questo davvero il miglior eserciziario di logica che sia mai stato scritto!