Задачи по теории множеств математической логике и теории алгоритмов

Лавров, Игорь Андреевич.
     Задачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. — Москва : Наука, 1975. — 240 с.

Библиогр.: с. 232
Указ. предм. и обознач.: с. 233-239.

Максимова, Лариса Львовна

Математическая логика
Алгоритмы
Множеств теория

УДК: 510.6 ; 510.5 ; 510.22

[ SYS NUM: 28838 ]