Computability and logic
By: George S. Boolos, Richard C. Jeffrey.
Contributors: Jeffrey, Richard C.
Edition: 3rd ed.
Publisher: Cambridge University Press
Published: 1989
Place of publication: Cambridge; New York
Language: eng
Number of pages: 304
Subjects: Computable functions.; Recursive functions.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and index.