Title: Functional and Logic Programming
Subjects: Mathematics