Edwards R E Formal background to mathematics 1b logic,sets and numbers - New York Springer-Verlag 1979 - xxxiv, 467p. cm. - Universitext . Standard No.: 21462 Source: Textual Dewey Class. No.: B13, L9.1a