Syntaktische Probleme der Prädikatenlogik 1. Stufe - Wüst, Eckehard (1976)