Sorten von Prädikaten und Wohlgeformtheitsbedingungen für eine Semantiksprache | lit.salon