TY  - BOOK
AU  - Cohen,Daniel E.
TI  - Computability and logic
T2  - Mathematics and its applications
SN  - 0470215496
AV  - QA9.59 .C64 1987
U1  - 511.3 19
PY  - 1987///
CY  - Chichester, West Sussex, England, New York
PB  - E. Horwood, Halsted Press
KW  - Computable functions
KW  - Logic, Symbolic and mathematical
N1  - Includes index; Bibliography: p. [234]-236
ER  -