Computability and Logic /
Boolos, George.
Computability and Logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. - 4th ed. - Cambridge ; New York : Cambridge University Press, c2002. - xi, 356 p. : ill. ; 27 cm.
Includes bibliographical references (p. 348) and index.
0521809754 (hbk.) 0521007585 (pbk.)
2001043302
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
QA9.59 / .B66 2002
511.3 / BOO
Computability and Logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. - 4th ed. - Cambridge ; New York : Cambridge University Press, c2002. - xi, 356 p. : ill. ; 27 cm.
Includes bibliographical references (p. 348) and index.
0521809754 (hbk.) 0521007585 (pbk.)
2001043302
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
QA9.59 / .B66 2002
511.3 / BOO