TY  - BOOK
AU  - Подниекс,Карлис Мартынович
TI  - Вокруг теоремы Геделя
SN  - 5796609289
PY  - 1992///
CY  - Рига
PB  - Зинатне
KW  - математическая логика
KW  - доказательство теорем
KW  - Гильберта программа обоснования математики
KW  - теория множеств аксиоматическая
KW  - элементарная арифметика
KW  - Гильберта проблема десятая
KW  - Геделя теорема о неполноте
KW  - Рамсея теория
N1  - Библиогр.: с. 176-178
UR  - http://sun.tsu.ru/limit/2016/000550235/000550235.pdf
ER  -