A Note on Interpretations of Many-Sorted Theories

Julian L. Hook. A Note on Interpretations of Many-Sorted Theories. Journal of Symbolic Logic, 50(2):372-374, 1985.

Abstract

Abstract is missing.