Doklady Akademii Nauk, Tome 166 (1966) no. 5, pp. 1032-1034
Citer cet article
Yu. Sh. Gurevich. On the decision problem for pure narrow calculus of predicates. Doklady Akademii Nauk, Tome 166 (1966) no. 5, pp. 1032-1034. http://geodesic.mathdoc.fr/item/DAN_1966_166_5_a5/
@article{DAN_1966_166_5_a5,
author = {Yu. Sh. Gurevich},
title = {On the decision problem for pure narrow calculus of predicates},
journal = {Doklady Akademii Nauk},
pages = {1032--1034},
year = {1966},
volume = {166},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1966_166_5_a5/}
}
TY - JOUR
AU - Yu. Sh. Gurevich
TI - On the decision problem for pure narrow calculus of predicates
JO - Doklady Akademii Nauk
PY - 1966
SP - 1032
EP - 1034
VL - 166
IS - 5
UR - http://geodesic.mathdoc.fr/item/DAN_1966_166_5_a5/
LA - ru
ID - DAN_1966_166_5_a5
ER -
%0 Journal Article
%A Yu. Sh. Gurevich
%T On the decision problem for pure narrow calculus of predicates
%J Doklady Akademii Nauk
%D 1966
%P 1032-1034
%V 166
%N 5
%U http://geodesic.mathdoc.fr/item/DAN_1966_166_5_a5/
%G ru
%F DAN_1966_166_5_a5
