Title: Logic for Computer Scientists (Progress in Computer Science)