Hao Wang. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382.
1964 ◽
Vol 29
(3)
◽
pp. 147-147