Anfonwch hwn fel neges destun: Mehrsortige Prädikatenlogiken und Klassentheorien /