TY  - BOOK
AU  - Epstein,Richard L.
AU  - Carnielli,Walter A.
TI  - Computability: computable functions, logic, and the foundations of mathematics 
SN  - 0534103561
PY  - 1989///
CY  - Pacific Grove, Calif.
PB  - Wadsworth & Brooks/Cole Advanced Books & Software
KW  - Computable functions
KW  - Logic, Symbolic and mathematical
ER  -