Kees Doets

3 books

The Haskell Road to Logic, Maths and Programming by Jan van Eijck, Kees Doets

The Haskell Road to Logic, Maths and Programming

Jan van Eijck, Kees Doets

432 pages • first pub 2004 (editions)

nonfiction computer science mathematics informative slow-paced
Basic Model Theory by Kees Doets
Basic Model Theory
—
Kees Doets

Basic Model Theory

Studies in Logic, Language, and Information

Kees Doets

143 pages • missing pub info (editions)

nonfiction mathematics medium-paced
From Logic to Logic Programming by Kees Doets

From Logic to Logic Programming

Kees Doets

missing page info • first pub 1994 (editions)

computer science science challenging informative reflective medium-paced