van Dalen, Dirk Braucht die konstruktive Mathematik Grundlagen? (German) Zbl 0523.03004 Jahresber. Dtsch. Math.-Ver. 84, 57-78 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03A05 Philosophical and critical aspects of logic and foundations 03F65 Other constructive mathematics 00A30 Philosophy of mathematics Keywords:constructive mathematics; choice sequences; semantic side of constructive mathematics PDF BibTeX XML Cite \textit{D. van Dalen}, Jahresber. Dtsch. Math.-Ver. 84, 57--78 (1982; Zbl 0523.03004)