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