Title: Logic for Computer Scientists
Subjects: Logic programming, Logic, symbolic and mathematical