SMS versenden: Contributions to mathematical logic: