%0 Journal Article
%A A. B. Nikolenko
%T Method of invariant transformations and logical deduction
%J Matematičeskie zametki
%D 1984
%P 3-15
%V 36
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1984_36_1_a0/
%G ru
%F MZM_1984_36_1_a0