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