Computability and logic.
Contributors: Burgess, John P., 1948-; Jeffrey, Richard C.
Edition: 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Publisher: Cambridge University Press
Published: 2007
Place of publication: Cambridge; New York
Language: eng
ISBN-13: 9780521877527; 9780521701464
Subjects: Computable functions; Recursive functions; Logic, Symbolic and mathematical
Notes: Includes bibliographical references and index.