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
Da Introduction to Logic di L.T.F.Gamut, 1991
Logica minimale, intuizionista e classica
Da Mathematical Logic di W.V.O Quine, 1958
Tautologie e formule valide notevoli\b>
La logica dell'infinito (H.Poincaré)
Il concetto di infinito in matematica (G.Gentzen) di
Da Intuitionism. An Introduction, 1966 (A.Heyting)
Lemma di Koenig
Lemma di Zorn
Calcolo di sequenti
(PAGINA IN COSTRUZIONE)