Computability : computable functions, logic, and the foundations of mathematics.
Epstein, Richard L.,1947-
Carnielli, Walter A.(Walter Alexandre)
Epstein, Richard L.,1947-Computability and undecidability--a timeline.
Belmont, CA : Wadsworth/Thomson Learning,
c2000.
"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.
Includes bibliographical references and index.
Computable functions.
Logic, Symbolic and mathematical.
Gödel's theorem.