Conversation so far:

Question: In was year was Principals of logic published?
Self-contained rewrite: In what year was On Formally Undecidable Propositions of Principia Mathematica and Related Systems I published?