SMS versenden: Logic for mathematicians /