Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1991_30_5_a1, author = {M. G. Peretyat'kin}, title = {Analogues of {Rice's} theorem for semantic classes of}, journal = {Algebra i logika}, pages = {517--539}, publisher = {mathdoc}, volume = {30}, number = {5}, year = {1991}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1991_30_5_a1/} }
M. G. Peretyat'kin. Analogues of Rice's theorem for semantic classes of. Algebra i logika, Tome 30 (1991) no. 5, pp. 517-539. http://geodesic.mathdoc.fr/item/AL_1991_30_5_a1/