کتاب های Kees Doets
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.), 1997
Basic Model Theory
Kees Doets, 1996
Basic Model Theory
Kees Doets, 1996
Basic Model Theory
Kees Doets, 1996
From Logic to Logic Programming
Kees Doets, 1994
From Logic to Logic Programming
Kees Doets, 1994
The Haskell road to logic, maths and programming
Kees Doets, 2004
The Haskell Road to Logic, Maths and Programming
Kees Doets, Jan van Eijck, 2018
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
D. Van Dalen, H. C. Doets, H. De Swart, 1978
Basic model theory
Doets K., 1996
