TY  - BOOK
AU  - Uspensky, VA
TI  - Godel's incompleteness  theorem
U1  - 510.51 
PY  - 1982///
CY  - Moscow
PB  - MIR
KW  - ALGORITHMS
ER  -