Metamathematische Betrachtungen - Schwabhaeuser, Wolfram (1983)