TY  - BOOK
AU  - Cohen, Daniel E.
TI  - COMPUTABILITY AND LOGIC
U1  - 519.4 
PY  - 1987///
CY  - Chichester
PB  - Ellis Horwood
KW  - Machine Theory
KW  - Computable Functions
ER  -