Solvability problem for a restricted predicate calculus
Doklady Akademii Nauk, Tome 168 (1966) no. 3, pp. 510-511.

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

@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},
     publisher = {mathdoc},
     volume = {168},
     number = {3},
     year = {1966},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/
%G ru
%F DAN_1966_168_3_a5
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/