Works by or with Kurt Gödel in the bibliography:On formally undecidable propositions of \mkbibemphPrincipia mathematica and related systems, I (1967)