Title: Mathematical Foundations of Computer Science 2003
Subjects: Computer science, mathematics, Logic programming