Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
J. Barkley Rosser and Hao Wang. Non-standard models for formal logics. The journal of symbolic logic, vol. 15 (1950), pp. 113–129. See Errata, ibid., p. iv.