TY  - BOOK
AU  - Босс,Валерий
TI  - Лекции по математике: [учебное пособие]
SN  - 9785397058667
PY  - 2017///
CY  - Москва
PB  - ЛИБРОКОМ
KW  - учебные издания для вузов
KW  - алгоритмы, теория
KW  - математическая логика
KW  - вычислимость
KW  - Тьюринга машины
KW  - диофантовы множества
KW  - Геделя теоремы
KW  - неполнота арифметики
KW  - функции универсальные (мат.)
KW  - множества универсальные
KW  - Геделя теорема вторая, доказательство
KW  - точка неподвижная, теорема
KW  - Гильберта десятая проблема
KW  - математика конструктивная
KW  - аксиоматические теории
KW  - теория моделей
KW  - степени неразрешимости
KW  - доказуемость
N1  - Библиогр.: с. 202-203 и в подстроч. примеч; Предм. указ.: с. 204-207
ER  -