Hao Wang Logic of Many-Sorted Theories. 105-116 1952 17 J. Symb. Log. 2 db/journals/jsyml/jsyml17.html#Wang52