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