Pošljite SMS: Introduction to mathematical logic