%0 Journal Article
%A N. M. Rubtsova
%T Logic of Proofs with Substitution
%J Matematičeskie zametki
%D 2007
%P 905-915
%V 82
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2007_82_6_a10/
%G ru
%F MZM_2007_82_6_a10