Intuïtionisme en formalisme / door L.E.J. BrouwerWeak and strong sum-elimination in intuitionistic type theory / Marco Dorotheus Gerardus SwaenExercises in realizability / Jakobus van OostenModern 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 PlacekProvability logic and admissible rules / Rosalie IemhoffConstructive and intuitionistic integration theory and functional analysis / Bastiaan Alexander Wilhelmus SpittersIdeas and explorations : Brouwer's road to intuitionism / Johannes John Carel KuiperIntuition and the axiomatic method / ed. by Emily Carson and Renate HuberLogicism, intuitionism, and formalism : what has become of them? / ed. by Sten Lindström ... [et al.]Intuition and the axiomatic method / ed. by Emily Carson and Renate HuberIntuïtionistische analyse : een constructief denkraam / Dirk van DalenThe 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 KunenIntuitionistic logic in intuitionistic metamathematics / door Henricus Cornelius Maria de SwartSemantical investigations in Heyting's intuitionistic logic / Dov M. GabbayInvestigations in intuitionistic hierarchy theory / door Willem Henri Maria VeldmanThe L. E. J. Brouwer centenary symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 / ed. by A.S. Troelstra and D. van DalenIntensional mathematics / ed. by Stewart ShapiroTheories with type-free application and extended bar induction / Gerard Rudolf Renardel de LavaletteTopics in intuitionism and topos theory / [by] Izak MoerdijkIntuitionistic correspondence theory / door Pieter Hendrik Rodenburg