Pošljite SMS: Computation theory and logic /