أرسل هذا في رسالة قصيرة: Mehrsortige Prädikatenlogiken und Klassentheorien /