Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 (1953), pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545.
Published online by Cambridge University Press:
12 March 2014