TY  - BOOK
AU  - Успенский, В. А.
TI  - Лекции о вычислимых функциях
T2  - Математическая логика и основания математики
PY  - 1960///
CY  - Москва
PB  - Физматгиз
KW  - Алгоритмы
KW  - psbo
KW  - Математическая логика
KW  - Функции (мат.)
KW  - Конструктивная теория
N2  - Библиогр.: с. 476-481
ER  -