An addition to “logic of many-sorted theories”
Compositio Mathematica, Tome 13 (1956-1958), pp. 277-281. 
@article{CM_1956-1958__13__277_0,
     author = {Gilmore, P. C.},
     title = {An addition to {\textquotedblleft}logic of many-sorted theories{\textquotedblright}},
     journal = {Compositio Mathematica},
     pages = {277--281},
     publisher = {Kraus Reprint},
     volume = {13},
     year = {1956-1958},
     mrnumber = {106176},
     zbl = {0149.24502},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1956-1958__13__277_0/}
}
TY  - JOUR
AU  - Gilmore, P. C.
TI  - An addition to “logic of many-sorted theories”
JO  - Compositio Mathematica
PY  - 1956-1958
SP  - 277
EP  - 281
VL  - 13
PB  - Kraus Reprint
UR  - http://archive.numdam.org/item/CM_1956-1958__13__277_0/
LA  - en
ID  - CM_1956-1958__13__277_0
ER  - 
%0 Journal Article
%A Gilmore, P. C.
%T An addition to “logic of many-sorted theories”
%J Compositio Mathematica
%D 1956-1958
%P 277-281
%V 13
%I Kraus Reprint
%U http://archive.numdam.org/item/CM_1956-1958__13__277_0/
%G en
%F CM_1956-1958__13__277_0
Gilmore, P. C. An addition to “logic of many-sorted theories”. Compositio Mathematica, Tome 13 (1956-1958), pp. 277-281. http://archive.numdam.org/item/CM_1956-1958__13__277_0/

Hao Wang, [1] Logic of many-sorted theories, the Journal of Symbolic Logic, vol. 17 (1952), pp. 105-116. | Zbl

Arnold Schmidt, [2] Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik, Mathematische Annalen, Vol. 123 (1951), pp. 187-200. | Zbl