Enviar por SMS: Acourse in mathematical logic /