Title: Computability and logic /
Authors: Boolos, George.; Jeffrey, Richard C.,; Jeffrey, Richard C.,
Publisher: Cambridge University Press,
Year: 1980
Subjects: Recursive functions.; Computable functions.; Logic, Symbolic and mathematical.