@article{1183736780, author = {Mendelson, Elliott}, title = {Review: A. I. Mal'cev, Algorithms and Recursive Functions}, journal = {J. Symbolic Logic}, volume = {34}, number = {1}, year = {1969}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736780} }
Mendelson, Elliott. Review: A. I. Mal'cev, Algorithms and Recursive Functions. J. Symbolic Logic, Tome 34 (1969) no. 1, . http://gdmltest.u-ga.fr/item/1183736780/