Title: Logic
Subtitle: A Foundation for Computer Science (International Computer Science Series)