Einfuhrung in die mathematische Logik - Asser, G. (Verlag Harri Deutsch, 1965)