Αποστολή με SMS: A concise introduction to mathematical logic /