Logik, Mengen, Relationen Praxis des mathematischen Beweisens - Freund, Helmut; Sorger, Peter (Teubner, 1976)