Presic, Slavisa B. Equational reformulation of formal theories. (English) Zbl 0335.08004 Publ. Inst. Math., Nouv. Sér. 19(33), 131-138 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Reviews MSC: 08Axx Algebraic structures 03C60 Model-theoretic algebra 08B99 Varieties PDFBibTeX XMLCite \textit{S. B. Presic}, Publ. Inst. Math., Nouv. Sér. 19(33), 131--138 (1975; Zbl 0335.08004) Full Text: EuDML