Mathematical Logic for Computer Science