Publications of Kees Doets
[1] Kees Doets and Jan van Eijck. The Haskell Road to Logic, Maths and Programming. Texts in Computing, volume 4. King’s College Publications, 2004.
[2] Kees Doets. Uniform short proofs of classical theorems. Notre Dame Journal of Formal Logic, 42(2):121–127, 2001.
[3] Kees Doets. Short proof(s) of classical theorems. ILLC Prepublication PP-2000-5, ILLC, 2000.
[4] Kees Doets. Three old pieces. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, Essays dedicated to Johan van Benthem on the occasion of his 50th anniversary. Amsterdam University Press, Amsterdam, 1999.
[5] Kees Doets. Relatives of the Russell paradox. Mathematical Logic Quar terly, 45(1):73–83, 1999.
[6] Anuj Dawar, Kees Doets, Steven Lindell, and Scott Weinstein. Elementary properties of the finite ranks. Mathematical Logic Quarterly, 44(3):349–353, 1998.
[7] Kees Doets. Logic programming. In M. Hazewinkel, editor, Encyclopaedia of Mathematics, volume I, page 356ff. Kluwer, 1997.
[8] H.C. Doets. Wijzer in wiskunde: een inleiding via logica en verzamelingen. CWI Syllabus, 1996. https://ir.cwi.nl/pub/12941/12941D.pdf.
[9] Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, and Johan van Benthem, editors. Logic and Scientific Methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Synthese library; studies in epistemology, logic, methodology, and philosophy of science, volume 259, Dordrecht, 1997. Kluwer.
[10] Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, and Johan van Benthem, editors. Structures and Norms in Science. Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Sci ence, Florence, August 1995, Synthese library; studies in epistemology, logic, methodology, and philosophy of science, volume 260, Dordrecht, 1997. Kluwer.
[11] Kees Doets. Basic Model Theory. CSLI Publications & FoLLI, 1996.
[12] Kees Doets. Proper classes. ILLC Research Report and Technical Notes Series ML-96-04, Institute for Logic, Language and Computation (ILLC), University of Amsterdam, The Netherlands, 1996.
[13] Kees Doets. Monotone quantifiers: interpolation and preservation. In J. van der Does and J. van Eijck, editors, Quantifiers, logic, and language, pages 95–103. CSLI Lecture Notes no. 54, 1996.
[14] K.R. Apt and H.C. Doets. A new definition of SLDNF-resolution. Journal of Logic Programming, 18(2):177–190, 1994.
[15] Kees Doets. Left termination turned into termination. Theoretical Com puter Science, 124:181–188, 1994.
[16] Kees Doets. From Logic to Logic Programming. The MIT Press, 1994. [17] Kees Doets. Levationis laus. Journal of Logic and Computation, 3(5):487–516, 1993.
[18] Kees Doets. Basic Model Theory. Fifth European Summer School in Language, Logic and Information, University of Lisbon, Lisbon, August 1993.
[19] K.R. Apt and H.C. Doets. A new definition of SLDNF-resolution. ILLC
Prepublication Series CT-92-03, Department of Mathematics and Com puter Science, University of Amsterdam, The Netherlands, 1992.
[20] Kees Doets. A slight strengthening of a theorem of Blair and Kunen. Theoretical Computer Science, 97:175–181, 1992.
[21] Kees Doets. Monotone quantifiers, interpolation and preservation. In van der Does J. and J. van Eijck, editors, Generalized Quantifier Theory, pages 39–48. Dutch Network for Language, Logic and Information, 1991.
[22] Kees Doets. Axiomatizing universal properties of quantifiers. In J. van der Does and J. van Eijck, editors, Generalized Quantifier Theory, pages 31–37. Dutch Network for Language, Logic and Information, 1991.
[23] Kees Doets. Axiomatizing universal properties of quantifiers. Journal of Symbolic Logic, 56(3):901–905, 1991.
[24] Kees Doets. Monadic π11-theories of π11-properties. Notre Dame J. of Formal Logic, 30(2):224–240, 1989.
[25] K. Doets. On n-equivalence of binary trees. Notre Dame J. of Formal Logic, 28(2):238–243, 1987.
[26] H.C. Doets. Completeness and definability, applications of the Ehrenfeucht game in second-order and intensional logic. PhD thesis, University of Am sterdam, Amsterdam, 1987.
[27] D. van Dalen, H.C. Doets, and H.C.M. de Swart. Sets: Naive, Axiomatic and Applied. Pergamon Press, Oxford, UK, 1978.
[28] D. van Dalen, H.C. Doets, and H.C.M. de Swart. Verzamelingen, Naief, Axiomatisch en Toegepast. Oosthoek, Scheltema & Holkema, Utrecht, 1975.
[29] H.C. Doets. A theorem on the existence of expansions. Bull. de l’Ac. Pol. des Sci., XIX(1):1–3, 1971.
[30] H.C. Doets. On a refinement of regularity and some related topics. Bull. de l’Ac. Pol. des Sci., XVIII(4):173–174, 1970.
[31] H.C. Doets. A generalisation in the theory of normal functions. Zeitschr. f. math. Logik u. Gr. d. Math., 16:389–392, 1970.
[32] H.C. Doets. Novak’s result by Henkin’s method. Fundamenta Mathemati cae, LXIV:329–333, 1969.