[OFA0512101] OFA MATEMATICA DI BASE E LOGICA