Большой англо-русский словарь (с транскрипциями) RECURSIVELY enumerable set лог. рекурсивно-перечислимое множество