Doklady Akademii Nauk, Tome 210 (1973) no. 2, pp. 285-287
Citer cet article
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/
@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},
year = {1973},
volume = {210},
number = {2},
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
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
%U http://geodesic.mathdoc.fr/item/DAN_1973_210_2_a8/
%G ru
%F DAN_1973_210_2_a8
