Einführung in die Mathematische Logik by Wolfgang Rautenberg