%0 Journal Article %1 journals/jsyml/Wang52 %A Wang, Hao %D 1952 %J J. Symb. Log. %K dblp %N 2 %P 105-116 %T Logic of Many-Sorted Theories. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml17.html#Wang52 %V 17

@article{journals/jsyml/Wang52, added-at = {2018-11-14T00:00:00.000+0100}, author = {Wang, Hao}, biburl = {https://www.bibsonomy.org/bibtex/29cfc81e78336d0c56efc1df924706356/dblp}, ee = {https://www.wikidata.org/entity/Q57075068}, interhash = {547247a2506a3c692ba261c783eac635}, intrahash = {9cfc81e78336d0c56efc1df924706356}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {105-116}, timestamp = {2018-11-15T13:36:39.000+0100}, title = {Logic of Many-Sorted Theories.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml17.html#Wang52}, volume = 17, year = 1952 }