TY  - BOOK
AU  - Марков,Андрей Андреевич
AU  - Нагорный,Николай Макарович
TI  - Теория алгорифмов
T2  - Математическая логика и основания математики
PY  - 1984///
CY  - Москва
PB  - Наука
KW  - теория алгорифмов
KW  - семантика конструктивная
KW  - математическая логика конструктивная
KW  - предикаты
KW  - конструктивные объекты, семиотика
KW  - алгорифмы нормальные
KW  - алгорифмы универсальные
KW  - алгорифмы, теоремы невозможности
KW  - функции вербальные вычислимые
KW  - исчисления ассоциативные
KW  - Туэ проблема
KW  - числа действительные конструктивные
KW  - функции действительные конструктивные
KW  - функции непрерывные знакопеременные
KW  - Математический анализ
KW  - импликация
N1  - Библиогр.: с. 422-426; Указ. имен. и предм.: с. 427 - 432
ER  -