SMS versenden: Acourse in mathematical logic /