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