TY  - JOUR
AU  - D. Yu. Emelyanov
AU  - B. Sh. Kulpeshov
AU  - S. V. Sudoplatov
TI  - Algebras of binary formulas for compositions of theories
JO  - Algebra i logika
PY  - 2020
SP  - 432
EP  - 457
VL  - 59
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2020_59_4_a1/
LA  - ru
ID  - AL_2020_59_4_a1
ER  -