Computability and logic
By: [by] George Boolos [and] Richard Jeffrey.
Contributors: Jeffrey, Richard C., joint author.
Publisher: University Press
Published: 1974
Place of publication: Cambridge [Eng.]
Language: eng
Number of pages: 262
Subjects: Computable functions; Recursive functions; Logic, Symbolic and mathematical; Computable functions