Αποστολή με SMS: Logic for mathematics and computer science