TY  - BOOK
AU  - Boolos,George
AU  - Burgess,John P.
AU  - Jeffrey,Richard C.
TI  - Computability and logic
SN  - 9780521877527 (hbk.)
PY  - 2007///
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
UR  - http://www.loc.gov/catdir/toc/ecip0715/2007014225.html
ER  -