Un'applicazione della Logica matematica alla didattica del calcolo algebrico