Pošljite SMS: Classical mathematical logic