TY  - BOOK
AU  - Epstein,Richard L.
AU  - Carnielli,Walter A.
TI  - Computability: Computable functions, logic, and foundations of mathematics 
SN  - 0-534-10356-1
PY  - 1989///
CY  - Pacific Grove, CA
PB  - Wadsworth & Brooks/Cole Advanced Books & Software
KW  - Computable functions
KW  - Logics
ER  -