Обобщение теоремы Хенкина на случай k-значных логиктезисы доклада