Geodesic
Equational calculi for Grzegorczyk's classes $\mathscr E^n$
Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part II, Tome 68 (1977), pp. 140-141 
M. Kh. Fakhmi. Equational calculi for Grzegorczyk's classes $\mathscr E^n$. Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part II, Tome 68 (1977), pp. 140-141. http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a10/
@article{ZNSL_1977_68_a10,
     author = {M. Kh. Fakhmi},
     title = {Equational calculi for {Grzegorczyk's} classes~$\mathscr E^n$},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {140--141},
     year = {1977},
     volume = {68},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a10/}
}
TY  - JOUR
AU  - M. Kh. Fakhmi
TI  - Equational calculi for Grzegorczyk's classes $\mathscr E^n$
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1977
SP  - 140
EP  - 141
VL  - 68
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a10/
LA  - ru
ID  - ZNSL_1977_68_a10
ER  - 
%0 Journal Article
%A M. Kh. Fakhmi
%T Equational calculi for Grzegorczyk's classes $\mathscr E^n$
%J Zapiski Nauchnykh Seminarov POMI
%D 1977
%P 140-141
%V 68
%U http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a10/
%G ru
%F ZNSL_1977_68_a10

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

Equational calculi are constructed for Grzegorczyk's classes $\mathscr E^n$ and a proof is sketched for an Important theorem for these classes.