Computability and logic
By: George Boolos, Richard Jeffrey.
Contributors: Jeffrey, Richard C., joint author.
Edition: 2d ed.
Publisher: Cambridge University Press
Published: 1980
Place of publication: Cambridge [Eng.]; New York
Language: eng
Number of pages: 285
Subjects: Computable functions.; Recursive functions.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and index.