Zaslat SMS: Becoming logical : an introduction to logic /