Coding the universe
Beller, A.
Jensen, R.
Welch, P.
Cambridge Cambridge University Press
1982
Bibliography: p347-349. - Includes index
Axiomatic set theory.
Set theory.