Geodesic
Finite approximation approach to investigation of the complexity of recursive predicates
Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part I, Tome 49 (1975), pp. 131-158

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{ZNSL_1975_49_a6,
     author = {R. I. Freidson},
     title = {Finite approximation approach to investigation of the complexity of recursive predicates},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {131--158},
     publisher = {mathdoc},
     volume = {49},
     year = {1975},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a6/}
}
TY  - JOUR
AU  - R. I. Freidson
TI  - Finite approximation approach to investigation of the complexity of recursive predicates
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1975
SP  - 131
EP  - 158
VL  - 49
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a6/
LA  - ru
ID  - ZNSL_1975_49_a6
ER  - 
%0 Journal Article
%A R. I. Freidson
%T Finite approximation approach to investigation of the complexity of recursive predicates
%J Zapiski Nauchnykh Seminarov POMI
%D 1975
%P 131-158
%V 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a6/
%G ru
%F ZNSL_1975_49_a6
R. I. Freidson. Finite approximation approach to investigation of the complexity of recursive predicates. Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part I, Tome 49 (1975), pp. 131-158. http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a6/