First-order theories as many-sorted algebras

Vincenzo Manca, Antonino Salibra. First-order theories as many-sorted algebras. Notre Dame Journal of Formal Logic, 25(1):86-94, 1984. [doi]

Abstract

Abstract is missing.