scientific article
From MaRDI portal
Publication:3643322
zbMath1173.03310MaRDI QIDQ3643322
Publication date: 11 November 2009
Full work available at URL: http://www.math.leidenuniv.nl/~naw/serie5/deel02/dec2001/pdf/wveldman.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Intuitionistic mathematics (03F55)
Related Items (3)
Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ An induction principle over real numbers ⋮ Intuitionism: an inspiration?
This page was built for publication:
