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 logic

1987-01-01
From logic to logic programming

MIT Press1994-01-01
Basic model theory

CLSI Publications1996-01-01
Swords and SustenanceThe Economics of Security in Belarus and Ukraine

MIT Press2004-01-01
Haskell Road to Logic, Maths and Programming. Second Edition

College Publications2004-01-01
Russian MilitaryPower and Policy

MIT 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 Revolution

MIT Press2005-01-01
Minimum Means of ReprisalChina's Search for Security in the Nuclear Age

MIT Press2007-01-01
Structures and Norms in ScienceVolume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer London, Limited2013-01-01