Outline of a mathematical theory of computation. (Russian) Zbl 0419.68076
MSC:
68Q65 | Abstract data types; algebraic specification |
03D60 | Computability and recursion theory on ordinals, admissible sets, etc. |
68N01 | General topics in the theory of software |
68P05 | Data structures |