Aggiunto un capitolo e un esercizio su semantica denotazionale, operazionale, assiomatica. Aggiunto file di macro su alberi di dimostrazione.