# zbMATH — the first resource for mathematics

$$\Sigma$$-programming. (Russian) Zbl 0628.03015
The authors discuss some problems and some directions in computer programming, and introduce a new general notion of programming - $$\Sigma$$-programming. $$\Sigma$$-formulas of the first-order language and the fact that the recursive functions can be represented by the formulas are used as the basis of $$\Sigma$$-programming.
Reviewer: Li Xiang

##### MSC:
 03B70 Logic in computer science 68N01 General topics in the theory of software 03C70 Logic on admissible sets 03D60 Computability and recursion theory on ordinals, admissible sets, etc. 68Q65 Abstract data types; algebraic specification