SMS versenden: Mathematical Logic for Computer Science