Formal background to mathematics la logic, sets and numbers - Edwards, R. E. (Universitext, 1979)