Pošljite SMS: Logic for mathematicians