Eudosso di Cnido, Aristotele e la nascita della logica formale | lit.salon