TY  - BOOK
AU  - Epstein, Richard L
AU  - Carnielli, Walter A
TI  - Computability : computable functions, logic and the foundations of mathematics
SN  - 9780534546441
CY  - Australia
KW  - Computable functions
KW  - Logic, symbolic and mathematical
N1  - Includes bibliographical references, glossary and index
ER  -