Web pages of Luca Spada

This year I will give a series of introductory lectures on Mathematical Logic for the course “Matematica Discreta e Logica Matematica” at the B.Sc. in Computer Science.  I will try to write down some lecture notes, but in the meanwhile students may find helpful to consult some references.  Probably any book on mathematical logic contains the topics I am about to discuss, yet here there are some suggestions aimed at Italian speakers without a strong background in mathematics.

1. Giangiacomo Gerla Linguaggio e verità. ilmiolibro.it. 2011. 274 pages (also available in reduced form, for free, here)
2. Andrea Asperti, Agata Ciabattoni Logica a informatica. McGraw-Hill. 1997. 204 pages.
3. Dario Palladino Corso di logica. Introduzione al calcolo dei predicati. Carocci. 2010. 409 pages.

This entry was last modified on the 5th October 2012 by Luca Spada. You can leave a comment, or trackback from your own site.