TY  - BOOK
AU  - Успенский,Владимир Андреевич
TI  - Теорема Геделя о неполноте
T2  - Популярные лекции по математике
PY  - 1982///
CY  - М.
PB  - Наука
KW  - Теоремы - Доказательство
KW  - rurkp
KW  - математическая логика
KW  - Геделя теорема
KW  - арифметика формальная
KW  - чисел теория формальная (математическая логика)
KW  - алгоритмов теория
KW  - множества арифметические
KW  - логико-математические теории (арифметика формальная)
KW  - монографии
N1  - Получено из INTERNET
UR  - http://sun.tsu.ru/limit/2016/000092895/000092895.djvu
ER  -