SMS versenden: Mehrsortige Prädikatenlogiken und Klassentheorien /