Seol mar théacs é seo: Mehrsortige Prädikatenlogiken und Klassentheorien /