%0 Journal Article
%A I. A. Gorbunov
%T Theories of the Classical Propositional Logic and Substitutions
%J Matematičeskie zametki
%D 2021
%P 856-864
%V 110
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2021_110_6_a3/
%G ru
%F MZM_2021_110_6_a3