Doets, H.C
Doets, Kees
Doets, Kees (Hans Cornelis)
VIAF ID: 7959494 ( Personal )
Permalink: http://viaf.org/viaf/7959494
Preferred Forms
-
- 100 1 _ ‡a Doets, H. C.
-
- 100 1 0 ‡a Doets, H. C.
-
-
- 100 1 _ ‡a Doets, Kees
- 100 1 _ ‡a Doets, Kees
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic | |
Levationis laus | |
Monadic π 1 1 - theory of complete orderings | |
A new definition of SLDNF-resolution | |
Notes on admissible model theory | |
Proper classes | |
Sets: naïve, axiomatic and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students | |
Verzamelingen. |