Αποστολή με SMS: Introduction to Discrete Mathematics via Logic and Proof