Einführung in die mathematische Logik - Krauskopf, Bernd; Oberschelp, Walter 1933- (Schriften zur Informatik und angewandten Mathematik, 1990)