Zapiski Nauchnykh Seminarov POMI, Theoretical application of methods of mathematical logic. Part I, Tome 49 (1975), pp. 131-158
Citer cet article
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/
@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},
year = {1975},
volume = {49},
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
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
%U http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a6/
%G ru
%F ZNSL_1975_49_a6
