Author :
Epstein, Richard L.,1947-
Author Statement :
Richard L. Epstein, Walter A. Carnielli
Publication :
Wadsworth/Thomson Learning
Collation :
299, 38 p.:ill.;24 cm
Notes :
"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
Subject :
Computable functions,Logic, Symbolic and mathematical,Godelʹs theorem
ADDED ENTRIES :
Carnielli, Walter A
Holding Info. :
0534546447
SubTitle :
: computable functions, logic, and the foundations of mathematics
Biblography :
Includes bibliographical references and index
