Αποστολή με SMS: Einfuhurng in die mathematische logik