TY  - BOOK
AU  - Лавров,Игорь Андреевич
AU  - Максимова,Лариса Львовна
TI  - Задачи по теории множеств, математической логике и теории алгоритмов
SN  - 5922100262
PY  - 2002///
CY  - Москва
PB  - Физматлит [и др.]
KW  - Множеств теория
KW  - Задачи
KW  - RuMorurkp
KW  - Математическая логика
KW  - Алгоритмы
KW  - кардинальные числа
KW  - ординальные числа
KW  - бинарные отношения
KW  - алгебра высказываний
KW  - алгебра логики
KW  - логика предикатов
KW  - исчисление предикатов
KW  - аксиоматические теории
KW  - фильтрованные произведения
KW  - рекурсивные функции
KW  - Тьюринга машины
KW  - рекурсивные множества
KW  - Клини нумерация
KW  - Поста нумерация
KW  - учебные пособия для вузов
KW  - задачи
N1  - Библиогр.: с. 248-249; Предм. указ.: с. 250-255
ER  -