Title: Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS))