Title: Logic from Computer Science
Subjects: Logic, symbolic and mathematical, Computer science