Applied Logic for Computer Scientists