Due esempi di inferenze per assurdo. Numeri ineffabili e diadi effabili.
Note introduttive da "Elements of Intuitionism" di M.Dummett
Nozioni preliminari da "Elements of Intuitionism" di M.Dummett
La logica dell'infinito da "La logique de l'infini" di H.Poincaré
Il concetto di infinito in matematica di G.Gentzen
Da Intuitionism. An Introduction, 1966 di A.Heyting