The computability over abstruct models - Sergey, S. Goncharov (Karagandy University of the name of acad. E.A. Buketov, 2022)