Le nozioni di logica proposizionale e dei predicati utili per questo corso si possono trovare in qualsiasi manuale di logica formale. Segnalo in particolare questi testi:

1. [MLCS] M. Ben-Ari, Mathematical Logic for Computer Science, Third edition, Springer, 2012. Il libro, in edizione elettronica, è disponibile attraverso http://link.springer.com dalla rete di ateneo.

2. [VSCP] K. Apt, F. de Boer, E.-R. Olderog, Verification of Sequential and Concurrent Programs, Third edition, Springer, 2010. Il libro, in edizione elettronica, è disponibile attraverso http://link.springer.com dalla rete di ateneo.

3. [SLL] L. Carlucci Aiello e F. Pirri, Strutture Logica Linguaggi, Pearson Education Italia, 2005 (capitoli 5 e 6).

4. [LNC] D. Palladino e C. Palladino, Logiche non classiche, Carocci, 2007 (Il libro è dedicato alle logiche "non classiche", ma il primo capitolo riassume le nozioni relative alla logica proposizionale in forma chiara e sintetica; per il seguito di questo corso, potranno essere utili anche i capitoli sulla semantica di Kripke e sulle logiche modali e temporali).

Il libro di Apt e altri e quello di Ben-Ari includono capitoli sulla logica di Hoare e sulle dimostrazioni di correttezza.