TY  - BOOK
AU  - Boolos,George
AU  - Jeffrey,Richard C.
TI  - Computability and logic
SN  - 0521299675
U1  - 511.3 23
PY  - 1989///.
CY  - Cambridge: 
PB  - Cambridge University Press, 
KW  - Logic, Symbolic and mathematical
KW  - Computable functions
ER  -