Einführung in die mathematische Logik - Ebbinghaus, Heinz-Dieter (Verfasser); Flum, Jörg (Verfasser); Thomas, Wolfgang (Verfasser) (HochschulTaschenbuch, 2007)