Лавров, Игорь Андреевич.
Задачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. — Москва : Наука, 1975. — 240 с.
Библиогр.: с. 232
Указ. предм. и обознач.: с. 233-239.
Максимова, Лариса Львовна
Математическая логика
Алгоритмы
Множеств теория
УДК: 510.6 ; 510.5 ; 510.22
[ SYS NUM: 28838 ]