TY  - BOOK
AU  - Beller,A
AU  - Jensen, R B
AU  - Welch, P
TI  - Coding the universe
U1  - 511.322 
PY  - 1982///
CY  - London
PB  - Cambridge U.p
KW  - Axiomatic set theory
KW  - Logic, Symbolic and mathematical
KW  - Numerical analysis
ER  -