Logic for Computer Scientists