Einführung in die mathematische Logik (Mathematisch-Naturwissenschaftliche Bibliothek, 1982)