Title: Logics for Computer Science
Subjects: Logic, symbolic and mathematical