SMS versenden: Methods in mathematical logic