Einführung in die mathematische Logik - Asser, Günter (Teubner, 1972)