Ciro L. De Florio Categoricità e modelli intesi Temi di filosofia dell'aritmetica del secondo ordine cod. 490.89