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