TY - JOUR AU - Van Dalen, D. TI - La philosophie intuitionniste et ses conséquences mathématiques JO - Séminaire de Philosophie et Mathématiques PY - 1980 SP - 1 EP - 17 IS - 2 PB - IREM Paris-Nord ; École Normale Supérieure UR - http://www.numdam.org/item/SPHM_1980___2_A1_0/ LA - fr ID - SPHM_1980___2_A1_0 ER -