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