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
Voir la notice de l'article 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.
@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},
publisher = {mathdoc},
volume = {68},
year = {1977},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a10/}
}
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/