TY  - BOOK
AU  - Beller A
AU  - Jesen R
AU  - Welch P
TI  - Coding the universe
SN  - 0-521-28040-4
U1  - 511.32 
PY  - 1982///
CY  - Cambridge
PB  - C U P
KW  - Mathematical logic
KW  - Numerical analysis
KW  - Set theory
ER  -