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