TY  - BOOK
AU  - Boolos, George.
AU  - Burgess, John P.,
AU  - Jeffrey, Richard C.
TI  -  Computability and logic
SN  - 052120402X (hbk.)
U1  - 511.3/52 22
PY  - 1974///
CY  - Cambridge,  New York
PB  - Cambridge University Press
KW  - Computable functions
KW  - Recursive functions
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 341) and index
ER  -