Preview
Unable to display preview. Download preview PDF.
Bibliografia
- [B1]Bishop E., Foundations of constructive analysis, McGraw–Hill Book Co., New York, 1967.zbMATHGoogle Scholar
- [B2]Cantor G., “Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen”, J. Reine Angew. Math., 77, pp. 258–262, 1874.MathSciNetzbMATHGoogle Scholar
- [B3]Cantor G., “Über unendliche, lineare Punktmannichfaltigkeiten”, Math. Ann., 20(1), pp. 113–121, 1882.MathSciNetCrossRefzbMATHGoogle Scholar
- [B4]Cantor G., “Über eine elementare Frage der Mannigfaltigkeitslehre”, Deutschen Math. Vereinigung, 1, pp. 75–78, 1890–91.Google Scholar
- [B5]Cantor G., Contributions to the founding of the theory of transfinite numbers, Dover Publications, Inc., New York, N. Y., 1952. Tradotto, con introduzione e note a cura di E. B. Jourdain.zbMATHGoogle Scholar
- [B6]Cantor G., La formazione della teoria degli insiemi (scritti 1872–1899), Mimesis Edizioni, Milano, 2012. Tradotto, con introduzione e note a cura di G. Rigamonti.Google Scholar
- [B7]Everett C., I numeri e la nascita della civiltà. Un’invenzione che ha cambiato il corso della storia, FrancoAngeli, Milano, 2018.Google Scholar
- [B8]Grothendieck A., Revêtements étales et groupe fondamental. Fasc. I: Exposés 1 à 5, volume 1960/61 del Séminaire de Géométrie Algébrique, Institut des Hautes Études Scientifiques, Paris, 1963.Google Scholar
- [B9]Grothendieck A., Revêtements étales et groupe fondamental. Fasc. II: Ex–posés 6, 8 à 11, volume 1960/61 del Séminaire de Géométrie Algébrique, Institut des Hautes Études Scientifiques, Paris, 1963.Google Scholar
- [B10]Grothendieck A., “Esquisse d’un programme”, in Geometric Galois actions, 1, volume 242 di London Math. Soc. Lecture Note Ser., pp. 5–48, Cambridge Univ. Press, Cambridge, 1997. Con una traduzione inglese alle pp. 243–283.Google Scholar
- [B11]Lawvere F.W. e Rosebrugh R., Sets for Mathematics, Cambridge University Press, 2003.CrossRefzbMATHGoogle Scholar
- [B12]Martin–Löf P., Intuitionistic type theory, vol. 1 di Studies in Proof Theory. Lecture Notes, Bibliopolis, Napoli, 1984. Annotazioni di G. Sambin da una serie di lezioni tenute a Padova, giugno 1980.Google Scholar
Copyright information
© Egea S.p.a. 2018