Zaslať SMS: Mathematical logic and computer science /