Boolos, George. creator Burgess, John P. 1948- Jeffrey, Richard C. text bibliography enk Cambridge New York Cambridge University Press 2007 5th ed. / monographic eng

print

xiii, 350 p. : ill. ; 26 cm. Includes bibliographical references (p. 341) and index. Computable functions Recursive functions Logic, Symbolic and mathematical QA9.59 .B66 2007 511.352 9780521877527 (hbk.) 0521877520 (hbk.) 9780521701464 (pbk.) 0521701465 (pbk.) 2007014225 http://www.loc.gov/catdir/toc/ecip0715/2007014225.html http://www.loc.gov/catdir/enhancements/fy0729/2007014225-d.html http://www.loc.gov/catdir/toc/ecip0715/2007014225.html http://www.loc.gov/catdir/enhancements/fy0729/2007014225-d.html DLC 070403 20150408113747.0 14795060