Title: Sorten von Prädikaten und Wohlgeformtheitsbedingungen für eine Semantiksprache
First published: 1974