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