Mathematische Logik. Ihre Grundprobleme in Theorie u. Anwendung - Strombach, Werner (Beck'sche Schwarze Reihe, 1972)