Lehrbuch der elementaren Logik 2 Prädikatenlogik - Kleinknecht, Reinhard (München : Dt. Taschenbuch-Verl., 1976)
Literaturverz. S. 486 - 487