Kees Doets
Identifiers
- Open LibraryOL533786A
Top Subjects
- Logic programming. (1)
- Model theory. (1)
- Mathematics (1)
- Logic (1)
- Science/Mathematics (1)
Books by Kees Doets
Total count: 10
-
Completeness and definabilityapplications of the Ehrenfeucht game in second-order and intensional logic1987-01-01
From logic to logic programmingMIT Press1994-01-01
Basic model theoryCLSI Publications1996-01-01-
Swords and SustenanceThe Economics of Security in Belarus and UkraineMIT Press2004-01-01
-
Haskell Road to Logic, Maths and Programming. Second EditionCollege Publications2004-01-01
-
Russian MilitaryPower and PolicyMIT Press2004-01-01
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)King's College Publications2004-05-31-
Statehood and SecurityGeorgia after the Rose RevolutionMIT Press2005-01-01
-
Minimum Means of ReprisalChina's Search for Security in the Nuclear AgeMIT Press2007-01-01
-
Structures and Norms in ScienceVolume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995Springer London, Limited2013-01-01