%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