Pošljite SMS: A concise introduction to logic /