Tsinman Leonid L'vovich

Publications in Math-Net.Ru

1. Certain algorithms in a formal arithmetic system
   
   Dokl. Akad. Nauk SSSR, 189:3 (1969),  489–490
2. A theorem on normal proofs in the theory of regular formulae
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1969, no. 10,  90–96
3. On the role of the principle of induction in a formal arithmetic system
   
   Mat. Sb. (N.S.), 77(119):1 (1968),  71–104
4. On the axiom of complete induction
   
   Dokl. Akad. Nauk SSSR, 173:2 (1967),  273–274
5. Bases of primitive-recursively closed classes of functions
   
   Dokl. Akad. Nauk SSSR, 170:1 (1966),  45–48


6. Поправки к статье “Об аксиоме полной индукции” (ДАН, т. 173, № 2)
   
   Dokl. Akad. Nauk SSSR, 182:3 (1968),  8