Unvollstaendigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Goedel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung - Stegmueller, Wolfgang (Springer, 1973)