SMS versenden: Logic algebra and databases /