Formal background to mathematics 1b logic, sets and numbers - Edwards R E (New York Springer-Verlag, 1979)