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