%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