Search the dblp DataBase

Publications of Author

1. Wim Veldman
   An intuitionistic proof of Kruskal's theorem. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:2, pp:215-264 [Journal]
   
2. Wim Veldman
   Two simple sets that are not positively Borel. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:151-209 [Journal]
   
3. W. Gielen, Harrie C. M. de Swart, Wim Veldman
   The Continuum Hypothesis in Intuitionism. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:1, pp:121-136 [Journal]
   
4. Wim Veldman
   An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1976, v:41, n:1, pp:159-166 [Journal]
   
5. Wim Veldman, Frank Waaldijk
   Some Elementary Results in Intuitionistic Model Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1996, v:61, n:3, pp:745-767 [Journal]
   
6. Wim Veldman
   Perhaps the Intermediate Value Theorem. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:12, pp:2142-2158 [Journal]