%0 Journal Article
%A V. N. Krivtsov
%T Embedding intuitionistic-type theory in negationless-type theory
%J Matematičeskie zametki
%D 1986
%P 121-135
%V 39
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1986_39_1_a11/
%G ru
%F MZM_1986_39_1_a11