%0 Journal Article %A D. Yu. Emelyanov %A B. Sh. Kulpeshov %A S. V. Sudoplatov %T Algebras of binary formulas for compositions of theories %J Algebra i logika %D 2020 %P 432-457 %V 59 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2020_59_4_a1/ %G ru %F AL_2020_59_4_a1