%0 Journal Article
%A I. Reznikoff
%T On independent recursive axiomatisation in intuitionistic logic
%J Algebra i logika
%D 1967
%P 21-27
%V 6
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1967_6_6_a1/
%G en
%F AL_1967_6_6_a1