Displaying similar documents to “An addition to “logic of many-sorted theories””