Pošljite SMS: Mathematics and logic