Prädikatenlogik ohne gebundene Variablen - Bartnick, Jürgen (Lang, 1980)