%0 Journal Article
%A L. L. Maksimova
%T Formal deductions in the calculus of strict implication
%J Algebra i logika
%D 1966
%P 33-39
%V 5
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1966_5_6_a3/
%G ru
%F AL_1966_5_6_a3