%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://www.numdam.org/item/CM_1956-1958__13__277_0/
%G en
%F CM_1956-1958__13__277_0