Einfuhrung in die mathematische logik - Asser, Gonter (Mathematisch-Naturwissenschaftliche bibliothek, 1959)