Click Lez_13-14_Calcolo_Predicat_2.pdf link to view the file.