Lettera Matematica Pristem

, Volume 100, Issue 1, pp 16–21 | Cite as

Costruttivismo Oltre i luoghi comuni

Article
  • 5 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliografia

  1. [1]
    Bishop E., Foundations of constructive analysis, McGraw-Hill, 1967.MATHGoogle Scholar
  2. [2]
    Enriques F., Problemi della scienza, Zanichelli, 1906.MATHGoogle Scholar
  3. [3]
    Maietti M.E., Sambin G., “Toward a minimalist foundation for constructive mathematics”, in From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics, Crosilla L. e Schuster P. (eds.), Oxford Logic Guides 48, Clarendon, 2005, pp. 91–114.CrossRefGoogle Scholar
  4. [4]
    Martin-Löf P., Notes on Constructive Mathematics, Almqvist & Wiksell, Stockholm, 1970.MATHGoogle Scholar
  5. [5]
    Martin-Löf P., Intuitionistic type theory. Notes by G. Sambin of a series of lectures given in Padua, June 1980, Bibliopolis, Napoli, 1984.MATHGoogle Scholar
  6. [6]
    Sambin G., “Intuitionistic formal spaces - a first communication”, in Mathematical Logic and its Applications, Skordev D. (ed.), Plenum, 1987, pp. 187–204.CrossRefGoogle Scholar
  7. [7]
    Sambin G., “Per una dinamica nei fondamenti”, in Atti del congresso “Nuovi problemi della Logica e della Filosofia della scienza”, Corsi G. e Sambin G. (eds.), vol. 2, CLUEB, 1991, pp. 163–210.Google Scholar
  8. [8]
    Sambin G., Positive Topology and the Basic Picture. New structures emerging from Constructive Mathematics, Oxford Logic Guides, Oxford University Press, 2018, in corso di pubblicazione.Google Scholar

Copyright information

© Egea S.p.a. 2017

Authors and Affiliations

  1. 1.Università di PadovaPadovaItalia

Personalised recommendations