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