TY  - BOOK
AU  - Epstein, Richard L
AU  - Carnielli, Walter A
TI  - Computability : computable functions, logic, and the foundations of mathematics
SN  - 9780534103569
SN  - 89007097
U1  - 511.3 EPS 
PY  - 1989///
CY  - Pacific Grove, Calif
PB  - Wadsworth & Brooks/Cole Advanced Books & Software
KW  - Computable functions
KW  - Logic, Symbolic and mathematical
N1  - Includes index. Bibliography: p. 271-278
ER  -