× Unvollständigkeit und UnentscheidbarkeitDie metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutungvon Wolfgang StegmüllerIII, 117 S.