I sistemi quasi coerenti.
Giovanni Vacca, matematico, storico e filosofo della scienza.
Influenza agostiniana sulla concezione delle matematiche nella scuola di Galileo.
I fini dei ``Calculus ratiocinator'' di Leibniz, e la logica matematica del nostro tempo
Sulla potenza dell'insieme delle proposizioni di un dato sistema ipotetico-deduttivo
I fondamenti dell'analisi matematica nel pensiero di Agostino Cauchy.
Equazioni logiche nel calcolo dei predicati del primo ordine in un universo finito.
Equazioni logiche nel calcolo delle proposizioni.
Page 1