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