1. Ivakin Y. Introduction into the problem of the computer inter-pretation of the applied formalized theory // Information and Control Systems. 2003. № 1. C. 26-31.