Kees Doets

From Logic to Logic Programming

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for proposition...

The Haskell Road to Logic, Maths and Programming

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road...

The Haskell Road to Logic, Maths and Programming. Second Edition

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road t...