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