Computability and logic.
Contributors: Burgess, John P., 1948-; Jeffrey, Richard C.
Edition: 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Publisher: Cambridge University Press
Published: 2002
Place of publication: Cambridge; New York
Language: eng
Number of pages: 356
Subjects: Computable functions.; Recursive functions.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 348) and index.