Unvollständigkeit und Unentscheidbarkeit : DIE MATHEMATISCHEN RESULTATE VON GÖDEL, CHURCH, KLEENE, ROSSER UND IHRE ERKENNTNISTHEORETISCHER BEDEUTUNG - Stegmüller, Wolfgang (Verlag Von Julius Springer, Wien, 1959)