K.(1962).On Formally Undecidable (0)

by Godel
Venue:Propositions of Principia Mathematica. Edinburgh