Computability: computable functions, logic, and the foundations of mathematics/
Richard L. Epstein, Walter A. Carnielli.
- Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software, c1989.
- xvii, 297 p.: ill.; 25 cm.
- Wadsworth & Brooks/Cole statistics/probability series .
Includes index.
Bibliography: p. 271-278.
0534103561
89007097
Computable functions. Logic, Symbolic and mathematical.