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