Введение в теорию моделий и мета- математику алгебры