Het intuïtionisme bij de Franse wiskundigen / door Paul BockstaeleDe wijsbegeerte der wiskunde van theïstisch standpunt / door Dirk Hendrik Theodoor VollenhovenMathematical intuition : phenomenology and mathematical knowledge / Richard L. TieszenWeak and strong sum-elimination in intuitionistic type theory / Marco Dorotheus Gerardus SwaenBrouwer's intuitionism / Walter P. van StigtExercises in realizability / Jakobus van OostenHermann Weyl's intuitionistic mathematics / D. van DalenMetamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)Intuition et intuitionisme / Jean Largeault ; avec la traduction de deux textes de Brouwer en annexeModern intuitionistic topology / Frank Arjan WaaldijkGnomes in the fog : the reception of Brouwer's intuitionism in the 1920s / Dennis Edwin HesselingMathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism / Tomasz PlacekPhenomenology of choice sequences / Markus Sebastiaan Paul Rogier van AttenExploring an explanation of moral duty: moderate voluntarism / Charles GoossensSequents and link graphs : contraction criteria for refinements of multiplicative linear logic / Geert-Willem Quintijn PuiteEinstein, Brouwer en Teilhard de Chardin : over de rol van religie en intuïtie in de wetenschapstheorie / Vincent S. ScholzeProvability logic and admissible rules / Rosalie IemhoffLogics and provability / Katsumi SasakiEthical intuitions and emotions : a philosophical study / Sabine RoeserIdeas and explorations : Brouwer's road to intuitionism / Johannes John Carel KuiperProvability logic and admissible rules / Rosalie IemhoffLogics and provability / Katsumi SasakiRealizability : an introduction to its categorical side / Jaap van OostenLogicism, intuitionism, and formalism : what has become of them? / ed. by Sten Lindström ... [et al.]Logicism, intuitionism, and formalism : what has become of them? / edited by Sten Lindstrom, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-HansenQuantification in nonclassical logic / D.M. Gabbay, V.B. Shehtman, D.P. SkvortsovDe wijsbegeerte der wiskunde van theïstisch standpunt / door Dirk Hendrik Theodoor VollenhovenThe selected correspondence of L.E.J. Brouwer / [ed.] Dirk van DalenL.E.J. Brouwer, topologist, intuitionist, philosopher : how mathematics is rooted in life / Dirk van DalenIdeas and explorations : Brouwer's road to intuitionism / Johannes John Carel KuiperL.E.J. Brouwer, van mystiek tot wiskunde / Dirk van DalenL.E.J. Brouwer, van mystiek tot wiskunde / Dirk van DalenDe wijsbegeerte der wiskunde van theïstisch standpunt / door Dirk Hendrik Theodoor VollenhovenIntuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y., 1968 / ed. by A. Kino, J. Myhill, R.E. VesleyThe foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene VesleyThe Kleene symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / ed. by Jon Barwise, H. Jerome Keisler [and] Kenneth KunenSemantic construction of intuitionistic logic / by E.W. BethIntuitionistic logic in intuitionistic metamathematics / door Henricus Cornelius Maria de SwartIntuitionism : an introduction / A. HeytingSemantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay