Boolos, George.
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. - 5th ed. - Cambridge ; New York : Cambridge University Press, 2007. - xiii, 350 p. : ill. ; 26 cm.
Includes bibliographical references and index.
9780521701464 (pbk.)
2007014225
Computable functions.
Recursive functions.
QA9.59 / .B66 2007
511.352 / BOC
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. - 5th ed. - Cambridge ; New York : Cambridge University Press, 2007. - xiii, 350 p. : ill. ; 26 cm.
Includes bibliographical references and index.
9780521701464 (pbk.)
2007014225
Computable functions.
Recursive functions.
QA9.59 / .B66 2007
511.352 / BOC