Envoyer par SMS: Mehrsortige Prädikatenlogiken und Klassentheorien /