TY  - BOOK
AU  - Epstein, Richard L.
TI  - Computability: computable functions, logic, and the foundations of mathematics
U1  - 511.3 
PY  - 2008///
KW  - GEN
KW  - CMA
ER  -