M. Ardeshir and R. Ramezanian, The double negation of the intermediate value theorem, Annals of Pure and Applied Logic, vol.161, issue.6, pp.737-744, 2010.
DOI : 10.1016/j.apal.2009.06.005

J. Belinfante, Zur intuitionistischen Theorie der unendlichen Reihen, pp.639-660, 1929.

J. Belinfante, Absolute Konvergenz in der intuitionistischen Mathematik, KNAW Proceedings, pp.1180-1184, 1930.

J. Belinfante, Über eine besondere Klasse von non-oszillierenden Reihen, KNAW Proceedings, pp.1170-1179, 1930.

J. Borwein, Brouwer-Heyting Sequences Converge, The Mathematical Intelligencer, vol.102, issue.1, pp.14-15, 1998.
DOI : 10.2307/2974553

D. Bridges and E. Palmgren, Constructive mathematics. 2013

L. E. Brouwer, Student notebooks Brouwer Papers, Noord-Hollands Archief, Haarlem, 1904.

L. E. Brouwer, Over de grondslagen der wiskunde, 1907.

L. E. Brouwer, De onbetrouwbaarheid der logische principes, Tijdschrift voor Wijsbegeerte, pp.152-158, 1908.

L. E. Brouwer, Die mögliche Mächtigkeiten, pp.6-11, 1909.

L. E. Brouwer, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Erster Teil: Allgemeine Mengenlehre. KNAW Verhandelingen, vol.5, pp.1-43, 1918.

L. E. Brouwer, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Zweiter Teil, Theorie der Punktmengen. KNAW Verhandelingen, vol.7, pp.1-33, 1919.

L. E. Brouwer, Besitzt jede reelle Zahl eine Dezimalbruchentwicklung?, Mathematische Annalen, vol.28, issue.3-4, pp.201-210, 1921.
DOI : 10.1007/BF01458382

L. E. Brouwer, Begründung der Funktionenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Erster Teil, vol.13, issue.2, pp.1-24, 1923.

L. E. Brouwer, Intuïtionistische splitsing van mathematische grondbegrippen, KNAW Verslagen, vol.32, pp.877-880, 1923.

L. E. Brouwer, Beweis dass jede volle Funktion gleichmässig stetig ist, pp.189-193, 1924.

L. E. Brouwer, Bemerkungen zum Beweise der gleichmässigen Stetigkeit voller Funktionen, KNAW Proceedings, pp.644-646, 1924.

L. E. Brouwer, Zur Begr???ndung der intuitionistischen Mathematik. I., Mathematische Annalen, vol.93, issue.1, pp.244-257, 1925.
DOI : 10.1007/BF01449963

L. E. Brouwer, Intuitionistische Zerlegung mathematischer Grundbegriffe, Jahresbericht der deutschen Mathematiker-Vereinigung, vol.33, pp.251-256, 1925.

L. E. Brouwer, ???ber Definitionsbereiche von- Funktionen, Mathematische Annalen, vol.97, issue.1, pp.60-75, 1927.
DOI : 10.1007/BF01447860

L. E. Brouwer, Intuitionistische Betrachtungen über den Formalismus, KNAW Proceedings, pp.374-379, 1928.

L. E. Brouwer, Die Struktur des Kontinuums, Komitee zur Veranstaltung von Gastvorträgen ausländischer Gelehrter der exakten Wissenschaften, 1930.
DOI : 10.1016/B978-0-7204-2076-0.50042-8

L. E. Brouwer, Besprechung von A. Fraenkel, Zehn Vorlesungen über die Grundlegung der Mengenlehre, Jahresbericht der Deutschen Mathematiker-Vereinigung, vol.39, pp.10-11, 1930.

L. E. Brouwer, Groningen lectures. Brouwer Archive, 1933.

L. E. Brouwer, Geneva lectures. Brouwer Archive, 1934.

L. E. Brouwer, Mathematics. ??? Zum freien Werden von Mengen und Funktionen, KNAW Proceedings, pp.322-323, 1942.
DOI : 10.1016/B978-0-7204-2076-0.50047-7

L. E. Brouwer, Richtlijnen der intuïtionistische wiskunde, KNAW Proceedings, p.339, 1947.

L. E. Brouwer, Essentieel negatieve eigenschappen, KNAW Proceedings, pp.963-964, 1948.

L. E. Brouwer, Opmerkingen over het beginsel van het uitgesloten derde en over negatieve asserties, KNAW Proceedings, pp.1239-1243, 1948.

L. E. Brouwer, De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum, KNAW Proceedings, pp.122-124, 1949.

L. E. Brouwer, Consciousness, philosophy and mathematics, Proceedings of the 10th International Congress of Philosophy, pp.1235-1249, 1948.

L. E. Brouwer, Sur la possibilité d'ordonner le continu, Comptes Rendus de l'Académie des Sciences, pp.349-350, 1950.

L. E. Brouwer, On order in the continuum, and the relation of truth to noncontradictority, KNAW Proceedings, pp.357-358, 1951.

L. E. Brouwer, Historical background, principles and methods of intuitionism, South African Journal of Science, vol.49, pp.139-146, 1952.

L. E. Brouwer, Points and spaces, Journal canadien de math??matiques, vol.6, issue.0, pp.1-17, 1954.
DOI : 10.4153/CJM-1954-001-9

L. E. Brouwer, Intuitionistische Differentieerbaarheid, KNAW Proceedings, pp.201-203, 1954.
DOI : 10.1016/S1385-7258(54)50029-6

L. E. Brouwer, An example of contradictority in classical theory of functions, KNAW Proceedings, pp.204-205, 1954.

L. E. Brouwer, THE EFFECT OF INTUITIONISM ON CLASSICAL ALGEBRA OF LOGIC, Proceedings of the Royal Irish Academy, pp.113-116, 1955.
DOI : 10.1016/B978-0-7204-2076-0.50071-4

L. E. Brouwer, Collected Works I. Philosophy and Foundations of Mathematics . North-Holland, 1975.

L. E. Brouwer, Brouwer's Cambridge Lectures on Intuitionism, 1981.

L. E. Brouwer, Brouwer en de grondslagen van de wiskunde, 2001.

J. Burgess, Brouwer and Souslin on Transfinite Cardinals, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp.209-214, 1980.
DOI : 10.1002/malq.19800261402

C. Cellucci, On the role of reducibility principles, Synthese, vol.27, issue.1-2, pp.93-110, 1974.
DOI : 10.1007/BF00660891

H. De-swart, Spreads or choice sequences? History and philosophy of logic, pp.203-213, 1992.

S. Harry-de, Intuitionistic logic in intuitionistic metamathematics, 1976.

S. Harry-de, An intuitionistically plausible interpretation of intuitionistic logic, Journal of Symbolic Logic, vol.42, issue.4, pp.564-578, 1977.

J. Dijkman, Recherche de la convergence négative dans les mathématiques intuitionistes, KNAW Proceedings, pp.681-692, 1948.

A. Dragálin, Mathematical Intuitionism. Introduction to Proof Theory, 1988.
DOI : 10.1090/mmono/067

M. Dummett, Is time a continuum of instants? Philosophy, pp.497-515, 2000.

M. Dummett, Elements of Intuitionism, 2000.

M. Erdélyi-szabó, Abstract, The Journal of Symbolic Logic, vol.47, issue.03, pp.1014-1030, 2000.
DOI : 10.2307/2586686

A. Fraenkel, Y. Bar-hillel, and A. Lévy, Foundations of Set Theory. North-Holland, 1973.

W. Friedrich and H. Luckhardt, Intuitionistic uniformity principles for propositions and some applications, Studia Logica, vol.337, issue.4, pp.361-369, 1980.
DOI : 10.1007/BF00713546

A. George, The conveyability of intuitionism, an essay on mathematical cognition, Journal of Philosophical Logic, vol.17, issue.2, pp.133-156, 1988.
DOI : 10.1007/BF00247908

W. Gielen, The trustworthiness of the logical principles. manuscript, 1983.

W. Gielen, H. D. Swart, and W. Veldman, The continuum hypothesis in intuitionism, The Journal of Symbolic Logic, vol.52, issue.01, pp.121-136, 1981.
DOI : 10.1007/BF01209181

D. Gil, Intuitionism, transformational generative grammar and mental acts, Studies in History and Philosophy of Science Part A, vol.14, issue.3, pp.232-254, 1983.
DOI : 10.1016/0039-3681(83)90014-6

G. F. Griss, Negatieloze intuïtionistische wiskunde, KNAW Verslagen, vol.53, pp.261-268, 1944.

G. F. Griss, Negationless intuitionistic mathematics I, KNAW Proceedings, pp.1127-1133, 1946.
DOI : 10.1016/s1385-7258(51)50064-1

A. Heyting, Intuïtionistische axiomatiek der projektieve meetkunde, 1925.

A. Heyting, Intuitionism. An Introduction. North?Holland, 1956.

A. Heyting, BLICK VON DER INTUITIONISTISCHEN WARTE, dialectica, vol.11, issue.1, pp.332-345, 1958.
DOI : 10.1007/BF01564760
URL : http://onlinelibrary.wiley.com/doi/10.1111/j.1746-8361.1958.tb01468.x/pdf

A. Heyting, Russian translation of, Intuitionism. An Introduction. Mir, vol.70, 1965.

A. Heyting, Continuum en keuzerij bij Brouwer. Nieuw Archief voor Wiskunde, pp.125-139, 1981.

A. Heyting and . Intuitionism, An Introduction. North-Holland, 1972.

R. Hull, Counterexamples in intuitionistic analysis using kripke's schema, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, pp.241-246, 1969.
DOI : 10.1002/malq.19690151601

H. W. Johnstone and J. , Philosophy and Argument, 1959.

F. Kachapova, Abstract, The Journal of Symbolic Logic, vol.357, issue.03, pp.1035-1065, 2015.
DOI : 10.1007/BF02123404

A. Kino, J. Myhill, and R. Vesley, Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N. Y, 1968.

S. Kleene, Constructive functions in the foundations of intuitionistic mathematics, pp.137-144

S. Kleene, Formalized recursive functionals and formalized realizability, Memoirs of the American Mathematical Society, vol.0, issue.89, 1969.
DOI : 10.1090/memo/0089

S. Kleene and R. Vesley, The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions, 1965.

A. Klev, A Proof-Theoretic Account of the Miners Paradox, Theoria, vol.116, issue.28, pp.351-369, 2016.
DOI : 10.1093/mind/fzm983

G. Kreisel, M. Newman, and . Egbertus, Luitzen Egbertus Jan Brouwer. 1881-1966, Biographical Memoirs of Fellows of the Royal Society, vol.15, issue.0, pp.39-68, 1881.
DOI : 10.1098/rsbm.1969.0002

G. Kreisel and A. Troelstra, Formal systems for some branches of intuitionistic analysis, Annals of Mathematical Logic, vol.1, issue.3, pp.229-387, 1970.
DOI : 10.1016/0003-4843(70)90001-X

G. Kreisel, On weak completeness of intuitionistic predicate logic, The Journal of Symbolic Logic, vol.23, issue.02, pp.139-158, 1962.
DOI : 10.1007/BF01447860

G. Kreisel, Mathematical Logic., Bertrand Russell. Philosopher of the Century, pp.201-272, 1967.
DOI : 10.2307/2315573

G. Kreisel, Informal Rigour and Completeness Proofs, Lakatos [105], pp.138-186
DOI : 10.1016/S0049-237X(08)71525-8

S. Kripke, Semantical Analysis of Intuitionistic Logic I, Formal Systems and Recursive Functions, pp.92-130, 1965.
DOI : 10.1016/S0049-237X(08)71685-9

S. Kripke, Slides of 'free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics', 2016. https://wiskgenoot.nl/sites

S. Kripke, Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics, Indagationes Mathematicae, issue.0, pp.0-000, 2018.

V. Krivtsov, Note on extensions of Heyting's arithmetic by adding the "creative subject", Archive for Mathematical Logic, vol.38, issue.3, pp.145-152, 1999.
DOI : 10.1007/s001530050120

V. Krivtsov, A negationless interpretation of intuitionistic theories, Erkenntnis, vol.53, issue.1/2, pp.155-172, 2000.
DOI : 10.1023/A:1005618302941

M. Krol, Distinct variants of Kripke's schema in intuitionistic analysis, Soviet Mathematics Doklady, vol.19, pp.474-477, 1978.

J. Lambek, Are the traditional philosophies of mathematics really incompatible?'. The Mathematical Intelligencer, pp.56-62, 1994.

I. Loeb, Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics, Logic Journal of IGPL, vol.63, issue.2, pp.173-177, 2009.
DOI : 10.1093/jigpal/jzp002

R. Lubarsky, F. Richman, and P. Schuster, The Kripke schema in metric topology, Mathematical Logic Quarterly, vol.62, issue.6, pp.498-501, 2012.
DOI : 10.2307/2275631

P. Mancosu, From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, 1998.

A. Markov, On a principle of constructive mathematical logic, Proceedings of the Third All-Union Mathematical Congress, pp.146-147, 1956.

P. Martin-löf, Mathematics of infinity, COLOG-88, number 417 in Lecture Notes in Computer Science, pp.146-197, 1990.
DOI : 10.1007/3-540-52335-9_54

E. Martino, On the Brouwerian concept of negative continuity, Journal of Philosophical Logic, vol.12, issue.4, pp.379-398, 1985.
DOI : 10.1007/BF00649482

E. Martino, Brouwer's equivalence between virtual and inextensible order, History and Philosophy of Logic, vol.230, issue.1, pp.57-66, 1988.
DOI : 10.1080/01445348008837007

J. Moschovakis, Can there be no nonrecursive functions?, The Journal of Symbolic Logic, vol.36, issue.02, pp.309-315, 1971.
DOI : 10.1016/0003-4843(70)90001-X

J. Moschovakis, Brouwer L. E. J.. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13???101, 565???569.Brouwer L. E. J.. Die m??glichen M??chtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569.Brouwer L. E. J.. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 105???106, 569.Brouwer L. E. J.. The unreliability of the logical principles. English translation of 1552, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 107???111, 569???570.Brouwer L. E. J.. From the review of: G. Mannoury, Methodologisches und Philosophisches zur Elementar-Mathematik (Haarlem 1909). Partial English translation of 1555. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 121???122.Brouwer L. E. J.. Intuitionism and formalism. A reprint of 1557, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 123???138, 570???571.Brouwer L. E. J.. Review of Schoenflies's Entwickelung der Mengenlehre und ihrer Anwendungen (1305). A reprint of 1558, with added notes by the editor. edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 139???144, 571???572.Brouwer L. E. J.. Addenda and corrigenda to ???On the foundations of mathematics.??? Entwickelung der Mengenlehre und ihrer Anwendungen English translation of 1559, with added notes by the editor. edited by Heyting A., North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 145???149, 572., The Journal of Symbolic Logic, vol.44, issue.02, pp.271-275, 1979.
DOI : 10.2307/2273734

J. Moschovakis, A disjunctive decomposition theorem for classical theories, Proceedings of the Conference at Las Cruces, NM, pp.250-259, 1980.
DOI : 10.1007/BFb0066739

J. Myhill, The Invalidity of Markoff's Schema, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp.359-360, 1963.
DOI : 10.1002/malq.19630092304

J. Myhill, The formalization of intuitionism, Contemporary Philosophy. A Survey. I. Logic and Foundations of Mathematics, pp.324-341

J. Myhill, Formal Systems of Intuitionistic Analysis II: The Theory of Species, pp.151-162
DOI : 10.1016/S0049-237X(08)70747-X

J. Myhill, Notes towards an axiomatization of intuitionistic analysis, Logique et Analyse, vol.35, pp.280-297, 1967.

J. Myhill, Formal Systems of Intuitionistic Analysis I, pp.161-178
DOI : 10.1016/S0049-237X(08)71193-5

. E. Niekus and . Brouwer, Individual choice sequences in the work of L, Philosophia Scientiae, Cahier spécial, vol.5, pp.217-232, 2005.

J. Niekus, The method of the creative subject, KNAW Proceedings, pp.431-443, 1987.
DOI : 10.1016/1385-7258(87)90007-2

J. Niekus, Brouwer's incomplete objects. History and Philosophy of Logic, pp.31-46, 2010.
DOI : 10.1080/01445340903445071
URL : http://www.illc.uva.nl/Publications/PP-2005-27.text.pdf

J. Niekus, What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question Institute for Logic, Language and Computation, pp.2017-2019

C. Parsons, Introduction to [24], pp.446-457

C. Posy, Varieties of indeterminacy in the theory of general choice sequences, Journal of Philosophical Logic, vol.5, issue.1, pp.91-132, 1976.
DOI : 10.1007/BF00263659

C. P. Atten, Brouwerian infinity, pp.21-36

D. Scott, Extending the Topological Interpretation to Intuitionistic Analysis, II, Kino et al, pp.235-255
DOI : 10.1016/S0049-237X(08)70755-9

D. Scott, Constructive validity, Symposium on Automatic Demonstration, pp.237-275, 1968.
DOI : 10.1016/S0049-237X(08)71196-0

P. Scowcroft, More on Brouwer's refutations. Annals of Pure and Applied Logic, pp.83-91, 1989.
DOI : 10.1016/0168-0072(89)90008-0
URL : https://doi.org/10.1016/0168-0072(89)90008-0

C. Smorynski, Applications of Kripke models, Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, pp.324-391, 1973.
DOI : 10.1007/BFb0066744

G. Sundholm, Questions of proof, Manuscrito, XVI, issue.2, pp.47-70, 1993.

G. Sundholm, Constructive Recursive Functions, Church???s Thesis, and Brouwer???s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Constructivity and Calculability in Historical and Philosophical Perspective, pp.1-35, 2014.
DOI : 10.1007/978-94-017-9217-2_1

G. Sundholm and M. Van-atten, The proper interpretation of intuitionistic logic. On Brouwer's demonstration of the Bar Theorem, pp.60-77
URL : https://hal.archives-ouvertes.fr/halshs-00791547

G. Sundholm, Constructions, proofs and the meaning of logical constants, Journal of Philosophical Logic, vol.12, issue.2, pp.151-172, 1983.
DOI : 10.1007/BF00247187

A. Troelstra, Markov's principle and Markov's rule for theores of choice sequences, Proof Theory Symposion, pp.370-383, 1974.
DOI : 10.1016/0003-4843(71)90013-1

A. Troelstra, On a second order propositional operator in intuitionistic logic, Studia Logica, vol.25, issue.2, pp.113-139, 1981.
DOI : 10.1007/BFb0066739

A. S. Troelstra, The Theory of Choice Sequences, van Rootselaar and Staal, pp.201-223
DOI : 10.1016/S0049-237X(08)71196-0

A. S. Troelstra, Analysing choice sequences, Journal of Philosophical Logic, vol.12, issue.2, pp.197-260, 1983.
DOI : 10.1007/BF00247189

A. Troelstra, Principles of Intuitionism, Lecture Notes in Mathematics, vol.95, 1969.
DOI : 10.1007/BFb0080643

A. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics, 1977.
DOI : 10.1007/bfb0080653

A. Troelstra, On the Origin and Development of Brouwer's Concept of Choice Sequence, The L. E. J. Brouwer Centenary Symposium, pp.465-486, 1982.
DOI : 10.1016/S0049-237X(09)70145-4

G. Vafeiadou, Formalizing constructive analysis: A comparison of minimal systems and a study of uniqueness principles, 2012.

M. Van-atten, Intuition, iteration, induction, 2015. Preprint, https

M. Van-atten, Predicativity and parametric polymorphism of Brouwerian implication, 2017.
URL : https://hal.archives-ouvertes.fr/halshs-01619110

M. Van-atten, Troelstra's Paradox and Markov's Principle, Dutch Significs and Early Criticism of the Vienna Circle

M. Van-atten, P. Boldini, M. Bourdeau, and G. Heinzmann, The Cerisy Conference, One Hundred Years of Intuitionism, 1907.

. Mark-van-atten, Phenomenology of choice sequences, 1999.

. Mark-van-atten, Brouwer Meets Husserl. On the Phenomenology of Choice Sequences, 2007.

. Mark-van-atten, The Foundations of Mathematics as a Study of Life, Progress of Theoretical Physics Supplement, vol.173, pp.38-47, 2007.
DOI : 10.1143/PTPS.173.38

. Mark-van-atten, The hypothetical judgement in the history of intuitionistic logic, Logic, Methodology, and Philosophy of Science XIII: Proceedings of the 2007 International Congress in Beijing, pp.122-136, 2009.

. Mark-van-atten, The development of intuitionistic logic, 0195.

M. Van-atten and G. L. Sundholm, Brouwer's " Unreliability of the logical principles " . A new translation, with an introduction. History and Philosophy of Logic, pp.24-47, 2016.

M. Van-atten and D. Van-dalen, Arguments for the Continuity Principle, Bulletin of Symbolic Logic, vol.1, issue.03, pp.329-347, 2002.
DOI : 10.1007/BF02102305

D. Van-dalen, A model for HAS. A topological interpretation of the theory of species of natural numbers, Fundamenta Mathematicae, vol.82, issue.2, pp.167-174, 1974.
DOI : 10.4064/fm-82-2-167-174

D. Van-dalen, The use of Kripke's schema as a reduction principle, The Journal of Symbolic Logic, vol.82, issue.02, pp.238-240, 1977.
DOI : 10.1016/0003-4843(70)90001-X

D. Van-dalen, An interpretation of intuitionistic analysis, Annals of Mathematical Logic, vol.13, issue.1, pp.1-43, 1978.
DOI : 10.1016/0003-4843(78)90029-3

D. Van-dalen, The creative subject and Heyting's arithmetic, Universal Algebra and Applications, pp.379-382, 1978.
DOI : 10.4064/-9-1-379-382

D. Van-dalen, Braucht die konstruktive Mathematik Grundlagen? Jahresbericht der Deutschen Mathematiker-Vereinigung, pp.57-78, 1982.

D. Van-dalen, From Brouwerian counter examples to the creating subject, Studia Logica, vol.62, issue.2, pp.305-314, 1999.
DOI : 10.1023/A:1026411905257

D. Van-dalen, Filosofische grondslagen van de wiskunde, 1978.

D. Van-dalen, . Mystic, and I. Geometer, The life of L: The Dawning Revolution, E. J. Brouwer, vol.1, 1999.

D. Van-dalen, Mystic, Geometer, and Intuitionist. The Life of L, E. J

. Brouwer, Hope and Disillusion, 2005.

D. E. Van-dalen and . Brouwer, The Selected Correspondence of L, 2011.

D. Van-dantzig, On the principles of intuitionistic and affirmative mathematics. I, KNAW Proceedings, pp.918-929, 1947.

D. Van-dantzig, Comments on Brouwer's theorem on essentially-negative predicates, KNAW Proceedings, pp.949-957, 1949.

B. Van-rootselaar, Un probleme de m. dijkman, KNAW Proceedings, pp.405-407, 1952.
DOI : 10.1016/S1385-7258(52)50055-6

B. Van-rootselaar, Generalization of the Brouwer Integral, 1954.

B. Van-rootselaar, On Subjective Mathematical Assertions, Kino et al. [78], pp.187-196
DOI : 10.1016/S0049-237X(08)70749-3

I. Vandoulakis, On A.A.??Markov???s Attitude towards Brouwer???s Intuitionism, Philosophia Scientae, vol.19, issue.19-1, pp.143-158, 2015.
DOI : 10.4000/philosophiascientiae.1054

W. Veldman, Investigations in intuitionistic hierarchy theory, 1981.

W. Veldman, On the continuity of functions in intuitionistic real analysis. Some remarks on Brouwer's paper: " Ueber Definitionsbereiche von Funktionen, Mathematisch Instituut, 1982.

W. Veldman, Review, Comparative Literature Studies, vol.53, issue.4, 1988.
DOI : 10.5325/complitstudies.53.4.0869

W. Veldman, Understanding and Using Brouwer???s Continuity Principle, Reuniting the Antipodes, Constructive and Nonstandard Views of the Continuum Proceedings of a Symposium held in San Servolo, pp.285-302, 1999.
DOI : 10.1007/978-94-015-9757-9_24
URL : http://repository.ubn.ru.nl/bitstream/2066/18854/1/18854.pdf

W. Veldman, Brouwer???s Real Thesis on Bars, Philosophia Scientae, vol.6, issue.CS 6, pp.21-42, 2006.
DOI : 10.4000/philosophiascientiae.404
URL : http://repository.ubn.ru.nl/bitstream/2066/36026/1/36026.pdf

W. Veldman, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative. Archive for Mathematical Logic, pp.5-6621, 2014.

W. Veldman, An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic, The Journal of Symbolic Logic, vol.41, issue.1, pp.159-166, 1976.
DOI : 10.2307/2272955

R. Vesley, A Palatable Substitute for Kripke's Schema, pp.197-207
DOI : 10.1016/S0049-237X(08)70750-X

R. Vesley, Review of [189], 1971. Zentralblatt, Zb, 29901.

R. Vesley, Intuitionistic Analysis: The Search for Axiomatization and Understanding, The Kleene Symposium, pp.317-331, 1980.
DOI : 10.1016/S0049-237X(08)71265-5

T. Williamson, Knowability and Constructivism, The Philosophical Quarterly, vol.38, issue.153, pp.422-432, 1988.
DOI : 10.2307/2219707

J. A. Yankov, The calculus of the weak " Law of excluded middle, Mathematics of the USSR-Izvestiya, pp.997-1004, 1968.