Title: Mehrsortige Prädikatenlogiken und Klassentheorien
Subjects: Symbolic and mathematical Logic, Type theory