Wim Veldman

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

Coauthor Index

1	W. Gielen	[2]
2	Harrie C. M. de Swart	[2]
3	Frank Waaldijk	[3]

Colors in the list of coauthors