Pošljite SMS: Methods in mathematical logic