Invia SMS: Popular lectures on mathematical logic