Doklady Akademii Nauk, Tome 168 (1966) no. 3, pp. 510-511
Citer cet article
Yu. Sh. Gurevich. Solvability problem for a restricted predicate calculus. Doklady Akademii Nauk, Tome 168 (1966) no. 3, pp. 510-511. http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/
@article{DAN_1966_168_3_a5,
author = {Yu. Sh. Gurevich},
title = {Solvability problem for a restricted predicate calculus},
journal = {Doklady Akademii Nauk},
pages = {510--511},
year = {1966},
volume = {168},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/}
}
TY - JOUR
AU - Yu. Sh. Gurevich
TI - Solvability problem for a restricted predicate calculus
JO - Doklady Akademii Nauk
PY - 1966
SP - 510
EP - 511
VL - 168
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/
LA - ru
ID - DAN_1966_168_3_a5
ER -
%0 Journal Article
%A Yu. Sh. Gurevich
%T Solvability problem for a restricted predicate calculus
%J Doklady Akademii Nauk
%D 1966
%P 510-511
%V 168
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/
%G ru
%F DAN_1966_168_3_a5
