TY  - BOOK
AU  - Лавров,Игорь Андреевич
AU  - Максимова,Лариса Львовна
TI  - Задачи по теории множеств, математической логике и теории алгоритмов
PY  - 1984///
CY  - Москва
PB  - Наука
KW  - Алгоритмы
KW  - Математическая логика
KW  - Основания математики
ER  -