La logica di Francesco da Prato. Con l’edizione critica della "Loyca" e del "Tractatus de voce univoca"