" and "On formally undecidable propositions of Principia Mathematica and related systems I" in Solomon Feferman, ed., 1986.
" and "On formally undecidable propositions of Principia Mathematica and related systems I" in Solomon Feferman, ed., 1986.