TY  - BOOK
AU  - Марков,Андрей Андреевич
AU  - Нагорный,Николай Макарович
TI  - Избранные труды
SN  - 5940571131
PY  - 2003///
CY  - Москва
PB  - Изд-во МЦНМО
KW  - Марков, Андрей Андреевич
KW  - конструктивная математика
KW  - математическая логика
KW  - информатика
KW  - исчисление предикатов
KW  - вычислительная математика
KW  - кибернетика
KW  - физические законы
KW  - биологические законы
KW  - конечное множество
KW  - марковский сложностный метод
KW  - конструктивные функции
KW  - теория алгорифмов
KW  - ассоциативные системы
KW  - рекурсивные функции
KW  - непрерывность конструктивных функций
KW  - монотонные симметрические функции
KW  - булевы функции
KW  - научные биографии
KW  - ученые-математики
N1  - Библиогр. в коммент.: с. 603-626 и в подстроч. примеч
ER  -