%0 Journal Article
%A I. A. Gorbunov
%T A theories of classical propositional logic and counterimages of substitutions
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 2020
%P 26-29
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IVM_2020_1_a2/
%G ru
%F IVM_2020_1_a2