%0 Journal Article
%A I. A. Gorbunov
%T Theories in propositional logiс and the converse of substitution
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 2022
%P 33-41
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IVM_2022_5_a2/
%G ru
%F IVM_2022_5_a2