Geodesic
Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates
Doklady Akademii Nauk, Tome 210 (1973) no. 2, pp. 285-287.

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

@article{DAN_1973_210_2_a8,
     author = {V. S. Shevyakov},
     title = {Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates},
     journal = {Doklady Akademii Nauk},
     pages = {285--287},
     publisher = {mathdoc},
     volume = {210},
     number = {2},
     year = {1973},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1973_210_2_a8/}
}
TY  - JOUR
AU  - V. S. Shevyakov
TI  - Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates
JO  - Doklady Akademii Nauk
PY  - 1973
SP  - 285
EP  - 287
VL  - 210
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1973_210_2_a8/
LA  - ru
ID  - DAN_1973_210_2_a8
ER  - 
%0 Journal Article
%A V. S. Shevyakov
%T Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates
%J Doklady Akademii Nauk
%D 1973
%P 285-287
%V 210
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1973_210_2_a8/
%G ru
%F DAN_1973_210_2_a8
V. S. Shevyakov. Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates. Doklady Akademii Nauk, Tome 210 (1973) no. 2, pp. 285-287. http://geodesic.mathdoc.fr/item/DAN_1973_210_2_a8/