Wim Veldman

Bibliography

Veldman, Wim. 1976. “An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic.” The Journal of Symbolic Logic 41: 159–166.
Veldman, Wim. 1982. “On the Constructive Contrapositions of Two Axioms of Countable Choice.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 513–523. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Veldman, Wim. 1998. “Introduction: Aesthetics and Ethics.” in Aesthetics and Ethics: Essays at the Intersection, edited by Jerrold Levinson, pp. 1–25. Cambridge: Cambridge University Press.
Veldman, Wim. 2003. “On the Persistent Difficulty of Disjunction.” in Logic, Methodology and Philosophy of Science XI: Philosophical Dimensions of Logic and Science – Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999, edited by Artur Rojszczak, Jacek Cachro, and Gabriel Kurczewski, pp. 77–90. Synthese Library n. 320. Dordrecht: Kluwer Academic Publishers.
Veldman, Wim. 2009. “Brouwer’s Fan Theorem.” in Logicism, Intuitionism, and Formalism. What Has Become of Them?, edited by Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, pp. 277–301. Synthese Library n. 341. Dordrecht: Springer.