Books by Kees Doets

5 books found

From logic to logic programming

From logic to logic programming

19942 ed.
Basic model theory

Basic model theory

19961 ed.
Completeness and definability

Completeness and definability

19871 ed.
Swords and sustenance

Swords and sustenance

20045 ed.
Haskell Road to Logic, Maths and Programming. Second Edition

Haskell Road to Logic, Maths and Programming. Second Edition

20041 ed.