Лавров, Игорь Андреевич
Задачи по теории множеств, математической логике и теории алгоритмов /
И.А. Лавров, Л.Л. Максимова.
- Москва : Наука, 1975.
- 240 с. ; 20 см.
Указ. предм. и обозначений: с. 233 - 239
Список лит.: с. 232 (25 назв.)
Математическая логика
Теория множеств
Теория алгоритмов