SMS versenden: A course in mathematical logic