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