semantica assiomatica

aggiunto qualcosa sulla semantica ass