Set theory and the structure of arithmetic - Hamilton, Norman (Joseph, Landin., 1961)