А.А.Ляпунов и А.П.Ершов в теории схем программ и развитие ее логических концепцийстатья