Computability
Subtitle: computable functions, logic, and the foundations of mathematics.
Contributors: Carnielli, Walter A.; Epstein, Richard L., 1947-
Edition: 2nd ed. / Richard L. Epstein, Walter A. Carnielli.
Publisher: Wadsworth/Thomson Learning
Published: 2000
Place of publication: Belmont, CA
Language: eng
Number of pages: 299
Subjects: Computable functions; Logic, Symbolic and mathematical; Gödel's theorem
Notes: Includes bibliographical references and index.
"With Computability and undecidability--a timeline, the story of the development of computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein."
One folded leaf of illustrative matter laid in.