This year I will teach the course “Logica II” for the M.sc. degree in Computer Science. I think I will follow Moore’s modified method for the course (see also the wikipedia entry for the original method).
There are some freely available notes, looking promising, I will use during the course.
Other reference (standard books) that may be used as sources of inspiration during the course are:
- Mendelson, E. Introduction to Mathematical Logic. Chapman & Hall 2009.
- Mundici, D. Logica – Metodo breve. Springer Verlag 2011.
- Asperti, A. and Ciabattoni, A. Logica a Informatica. McGraw-Hill 2003
Further information will follow on this website.