TY  - BOOK
AU  - Лавров,Игорь Андреевич
AU  - Максимова,Лариса Львовна
TI  - Задачи по теории множеств, математической логике и теории алгоритмов
PY  - 1975///
CY  - Москва
PB  - Наука
KW  - Математическая логика
KW  - Теория множеств
KW  - Теория алгоритмов
N1  - Указ. предм. и обозначений: с. 233 - 239; Список лит.: с. 232 (25 назв.)
ER  -