"Математическая логика, теория алгоритмов и теория множеств" - читать интересную книгу автора (Адян С.И.. (ред.))