La propedeuticità dei concetti presentati alle materie più propriamente informatiche è il contributo principale di questo testo, in cui la scelta degli argomenti è mirata a fornire basi formali allo studente, con una costante attenzione ai campi di applicazione pratica. Ad esempio, presentando la logica, si dà molta enfasi alla deduzione e alla sua meccanizzazione; da qui la scelta di presentare, in particolare, il metodo dei tableau e la risoluzione, propedeutici, tra l’altro, alla deduzione automatica e al linguaggio di programmazione dichiarativa PROLOG.

Il testo è ricco di esempi, accuratamente scelti per il loro valore didattico, ed evidenziati nel testo dentro riquadri. Molti di questi sono tratti dai vari campi d’applicazione dell’informatica e dell’intelligenza artificiale. Per aiutare lo studente ad applicare immediatamente quanto appreso, gli esercizi sono stati distribuiti alla fine di ciascun paragrafo cui fanno riferimento.

Originale, infine, anche la scelta di associare a un testo denso di formalismo alcune illustrazioni di M.C. Escher: un ulteriore spunto di riflessione per il lettore, che è così, piacevolmente, portato a riflettere su concetti e simbolismo, simboli e significato, consistenza locale e globale.