Algebras of Binary Formulas for Compositions of Theories

Emel’yanov, D. Yu., Kulpeshov, B. Sh., Sudoplatov, S. V.

Algebra and Logic. 59(4):295-312

Saved in:

Bibliographic Details
Title	Algebras of Binary Formulas for Compositions of Theories
Authors	Emel’yanov, D. Yu., Kulpeshov, B. Sh., Sudoplatov, S. V.
Source	Algebra and Logic. 59(4):295-312

Get it