Title: Logica Matematica per BES