Gödel's incompleteness theorem - Uspensky V.A.; Koblitz, Neal (Moscow: MIR Publishers, 1987)
Preface -- Statement of the problem -- Basic conceps from the theory of algorithms and their application -- The simplest incompleteness criteria -- The language of arithmatic -- Three axioms for the theory of algorithms
Translated from the Russian by Neal Koblitz
Includes bibliography
Keywords: Godel's theorem; Mathematical logic