Kees Doets

Haskell Road to Logic, Maths a

Haskell Road to Logic, Maths and Programming. Second Edition

2004

Basic model theory

1996

From logic to logic programming

1994

Completeness and definability

Completeness and definability

1987