Savel'ev A A

Publications in Math-Net.Ru

1. A lattice of systems of algorithmic algebras of partial recursive functions and predicates
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1984, no. 11,  57–59