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 • 2004

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 • hardcover

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

From Logic to Logic Programming

Kees Doets

missing page info • 1994

computer science science challenging informative reflective medium-paced