Mathematische Logik; ihre Grundprobleme in Theorie und Anwendung - Strombach, Werner (Beck, 1972)