Einführung in die mathematische Logik. - Asser, Günter, 1926-2015 (Mathematisch-Naturwissenschaftliche Bibliothek ;, 1959)