Hao Wang. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333.
Steven Orey · Journal of Symbolic Logic · 1963
Hao Wang. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333. - Volume 28 Issue 3