1. N. V. Belyakin, ?On a complete system of classical arithmetic,? Algebra i Logika,6, No. 2, 5?11 (1967).
2. J. R. Shoenfield, ?On a restricted ?-rule,? Bull, Acad. Pol. Sci., Ser. Sci. Math. Astron. et Phys.,7, 405?407 (1959).
3. S. Ferferman, ?Transfinite recursive progressions of axiomatic theories,? Journ. Symb. Logic,27, No. 3, 259?316 (1962).
4. H. Rogers, Theory of Recursive Functions and Effective Computability, New York (1967).
5. S. C. Kleene, Introduction to Metamathematics, North-Holland Publishing Co., Amsterdam (1952).