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