Аннотация:
В статье разработан аппарат конечных формульных деревьев для алгебро-логических моделей, который представляет их элементарную эквивалентность и разрешимость.
Ключевые слова:теории первого порядка; модели; элементарная эквивалентность; разрешимость.
Полный текст:
PDF файл (232 kB)