Cited publications in From Frege to Gödel: A Source Book in Mathematical Knowledge, 1879–1931:On formally undecidable propositions of \mkbibemphPrincipia mathematica and related systems, I (1967)