TY  - BOOK
AU  - Boolos,George
AU  - Jeffrey,Richard C
TI  - Computability and logic
SN  - 052120402X
PY  - 1974///
CY  - University Press : Cambridge Eng
KW  - Computable functions
KW  - Recursive functions
KW  - Logic, Symbolic and mathematical
ER  -