From Logic to Logic Programming (Foundations of Computing)
Kees Doets is University Lecturer, Faculty of Mathematics and Computer Science, University of Amsterdam.