TY  - BOOK
AU  - Лавров,Игорь Андреевич
AU  - Максимова,Лариса Львовна
TI  - Задачи по теории множеств, математической логике и теории алгоритмов
PY  - 1975///
CY  - М.
PB  - Наука, Главная редакция физико-математической литературы
KW  - теория множеств
KW  - математическая логика
KW  - алгоритмов теория
KW  - учебные пособия для вузов
KW  - кардинальные числа
KW  - ординальные числа
KW  - алгебра высказываний
KW  - алгебра логики
KW  - предикаты
KW  - функции
KW  - аксиоматические теории
KW  - функции рекурсивные
KW  - Тьюринга машины
KW  - Клини нумерация
KW  - Поста нумерация
KW  - задачи
N1  - Библиогр.: с. 232.- Указ. предм. и обозначений: с. 233-239
ER  -