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