%0 Journal Article
%A V. E. Plisko
%T Modified realizability and predicate logic
%J Matematičeskie zametki
%D 1997
%P 259-269
%V 61
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1997_61_2_a7/
%G ru
%F MZM_1997_61_2_a7