La philosophie intuitionniste et ses conséquences mathématiques
Séminaire de Philosophie et Mathématiques no. 2  (1980), p. 1-17
@article{SPHM_1980___2_A1_0,
     author = {Van Dalen, Dirk},
     title = {La philosophie intuitionniste et ses cons\'equences math\'ematiques},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {IREM Paris-Nord~; \'Ecole Normale Sup\'erieure},
     number = {2},
     year = {1980},
     pages = {1-17},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1980___2_A1_0}
}
Van Dalen, D. La philosophie intuitionniste et ses conséquences mathématiques. Séminaire de Philosophie et Mathématiques, no. 2 (1980), pp. 1-17. http://www.numdam.org/item/SPHM_1980___2_A1_0/

M. Beeson 1979 A Theory of Constructions and Proofs. Department of Mathem. Utrecht, preprint no.134

E. Bishop 1967 Foundations of Constructive Mathematics.New-York.

L.E.J. Brouwer 1905 Leven, Kunst en Mystiek. Delft.

L.E.J. Brouwer 1907 Over de Grondslagen der Wiskunde. (Sur les fondements de mathématique). Collected Works I, pp 11-101. | JFM 39.0081.02 | MR 618120

L.E.J. Brouwer 1924 Beweis dass jede volle Funktion gleichmässig stetig ist.Cf. Collection Works, Vol.I, pp.286-290

L.E.J. Brouwer 1948 Consciousness, Philosophy and Mathematics. Proc. 10th Intern. Congress of Philosophy, Amsterdam pp 1235-1249. | MR 28260

L.E.J. Brouwer 1950 Sur la possibilité d'ordonner le continu. C.R.Ac. Sci. Paris. pp 349-350. | MR 32537 | Zbl 0041.37503

L.E.J. Brouwer 1952 b Historical background, principles and methods of intuitionism. South African Journal of Science pp 139-146. | MR 51804

D. Van Dalen 1977 The use of Kripke's Schema as a reduction Principle. Journal of Symbol Logic, pp 238-240. | MR 479956 | Zbl 0382.03042

D. Van Dalen 1978 Brouwer : the genesis of his intuitionism. Dialectica, pp 291-303. | MR 589627

D. Van Dalen 1978 a An interpretation of intuitionistic analysis. Ann. Math. Logic. pp 1-43. | MR 482429 | Zbl 0399.03049

S. Feferman 1979 Constructive theories of functions and classes. Logic Colloqium' 78 (eds. M. Boffa, D. van Dalen, K. McAloon) pp 159-224, Amsterdam. | MR 567670 | Zbl 0441.03022

N. Goodman 1970 A theory of constructions equivalent to arithmetic. Intuitionism and Proof Theory, (eds. A. Kins, J. Myhill, R.E. Vesley) pp 100-120. Noth-Holland Publ. Co., Amsterdam. | MR 282797 | Zbl 0212.31301

S.C. Kleene 1952 Introduction to Metamathematics. North-Holland. Publ. Co., Amsterdam. | MR 51790 | Zbl 0047.00703

A.S. Troelstra 1969 Principles of Intuitionism. Springer Lecture Notes 95. | MR 244003 | Zbl 0181.00504

A.S. Troelstra 1973 Metamathematical investigation of intuitionistic arithmetic and analysis, (ed.) Springer Lecture Notes 344. | MR 325352 | Zbl 0275.02025

A.S. Troelstra 1977 Choice Sequences. Oxford University Press. | MR 476415 | Zbl 0323.02040

A.S. Troelstra 1977 a Axioms for intuitionistic mathematics incompatible with classical logic. in Logic, Foundations of Mathematics and Computability theory. Reidel, Dordrecht pp 59-84. | MR 472486 | Zbl 0375.02010

A.S. Troelstra 1980 Intuitionistic extensions of the reals. Nieuw Archief voor Wiskunde. pp 63-113. | MR 568437 | Zbl 0432.03035