Pošljite SMS: Mathematical logic