Ciao a tutti. Per l'esame di logica dell'anno in corso : 2018/2019 il prof chiede anche esercizi sul calcolo dei sequenti all'esame?