Теоретико-модельные свойства конечно аксиоматизируемых теорий с приложением к задачам логического программирования и структурные вопросы теории моделей