LogikJürgen Bartnick ×Peter Lang GmbH, Internationaler Verlag der Wissenschaften × Prädikatenlogik ohne gebundene Variablen Jürgen BartnickPeter Lang GmbH, Internationaler Verlag der WissenschaftenSoftcover1980