TY  - BOOK
AU  - Boolos,George
AU  - Burgess,John P.
AU  - Jeffrey,Richard C.
TI  - Computability and Logic
SN  - 9780521007580
U1  - 511.3 22
PY  - 2002///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Computable functions
KW  - BUEsh
KW  - Recursive functions
KW  - Logic, Symbolic and mathematical
KW  - Reading book
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/description/cam022/2001043302.html
UR  - http://www.loc.gov/catdir/toc/cam024/2001043302.html
ER  -