Buy Рекурсивная Неотделимость Множества Тождественно Истинных И Множества Конечно Опровержимых Формул Некоторых Элементарных Теорий Многообразий Статья