TY  - BOOK
AU  - Uspensky V.A.
AU  - Koblitz,Neal
TI  - Gödel's incompleteness theorem
T2  - Little mathematics library
U1  - 511.3 23
PY  - 1987///
CY  - Moscow
PB  - MIR Publishers
KW  - Godel's theorem
KW  - Mathematical logic
N1  - Translated from the Russian by Neal Koblitz; Includes bibliography; 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
UR  - https://archive.org/details/GodelsIncompletenessTheorem
ER  -