Einführung in die mathematische Logik - Zschoche, Jürgen (Einführung in die mathematische Logik, 1983)