Computability
Subtitle: computable functions, logic, and the foundations of mathematics
Contributors: Carnielli, Walter A. (Walter Alexandre)
Edition: 3rd ed. / Richard L. Epstein, Walter A. Carnielli.
Publisher: Advanced Reasoning Forum
Published: 2008
Place of publication: Socorro, New Mexico
Language: eng
Number of pages: 370
ISBN-13: 9780981550725
Subjects: Symbolic and mathematical Logic; Computable functions; Gödel's theorem
Notes: Includes bibliographical references and index.