Questo manuale è il risultato di un corso di lezioni tenute all'Università di Oxford durante gli anni 1958-62 e nella primavera del 1961 all'Università del Texas. Scritto per gli studenti del primo anno di Logica, non richiede alcuna conoscenza preliminare dell'argomento. La chiarezza dell'esposizione e la ricchezza degli esercizi tutti risolti in questa edizione italiana permettono con opportuna gradualità di impadronirsi prima, e di servirsi poi, dei simboli e delle regole della moderna logica formale.