TY  - BOOK
AU  - Beller, A
AU  - Jensen, Ronald Björn
AU  - Welch, P
TI  - Coding the universe
SN  - 9780521280402
SN  - 81002663
U1  - 511.322 BEL 
PY  - 1982///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Axiomatic set theory
KW  - Logic, Symbolic and mathematical
N1  - Includes indexes. Bibliography: p. 347-348
ER  -