TY  - BOOK
AU  - Boolos, George
AU  - Jeffrey, Richard C
TI  - Computability and logic
SN  - 0521389232
AV  - QA 9.59 Boo 
PY  - 1989///
CY  - Cambridge
PB  - Cambridge University Press
KW  - COMPUTABLE FUNCTIONS
KW  - RECURSIVE FUNCTION
KW  - LOGIC, SYMBOLICAL AND MATHEMATICAL
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/description/cam023/89032584.html
UR  - http://www.loc.gov/catdir/toc/cam025/89032584.html
ER  -