Nikiforova E G

Publications in Math-Net.Ru

1. Some modifications of iterated Kleene computability
   
   Algebra Logika, 25:3 (1986),  292–314
2. A fragment of formalized analysis
   
   Sibirsk. Mat. Zh., 27:5 (1986),  135–139