Αποστολή με SMS: A first course in formal logic and its applications in computer science