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