%0 Journal Article
%A V. E. Plisko
%T Recursive realizability and constructive predicate logic
%J Doklady Akademii Nauk
%D 1974
%P 520-523
%V 214
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1974_214_3_a9/
%G ru
%F DAN_1974_214_3_a9