TY  - BOOK
AU  - Epstein,Richard L.
AU  - Carnielli,Walter A.
AU  - Epstein,Richard L.
TI  - Computability  computable functions, logic, and the foundations of mathematics
SN  - 0534546447
PY  - 2000///
CY  - Belmont (California, Estados Unidos)
PB  - Wadsworth/Thomson Learning
KW  - Funciones calculables
KW  - Lógica simbólica y matemática
KW  - Matemáticas
KW  - Teorema de godel
N1  - Incluye referencias bibliográficas e índice
ER  -