3 treff

The Haskell road to logic, maths and programming
Kees Doets, Jan van Eijck
Bok Engelsk 2004
Basic model theory
Kees Doets
Bok Engelsk 1996
From logic to logic programming
Kees Doets
Bok Engelsk 1994