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