Mathematische Logik - Emde, Helmut