Skip to content
Publications

Article · Algebra and Logic · September 1, 2020

Algebras of Binary Formulas for Compositions of Theories

D. Yu. Emel’yanov, B. Sh. Kulpeshov, Sergey Vladimirovich Sudoplatov