Αποστολή με SMS: Finite model theory and its applications /