On Formally Undecidable Propositions of Principia Mathematica and Related...

Dover Books on Mathematics Ser.: Elementary Theory of Analytic Functions of One

Dover Books on Mathematics Ser.: Introductory Real Analysis by S. V. Fomin...

Dover Books on Mathematics Ser.: Counterexamples in Analysis by John M. H....

Dover Books on Mathematics Ser.: Introduction to Formal Languages by Gyorgy ...

On Formally Undecidable Propositions of Principia Mathematica and Related: Used