О существовании неотделимой пары в рекурсивной теории допустимых множеств В.А. Руднев — 1988 Algebra i Logika