Boolos, George. creator Jeffrey, Richard C. joint author. text Cambridge [Eng.] New York Cambridge University Press c1980 2d ed. monographic x, 285 p. ; 24 cm. George Boolos, Richard Jeffrey. Includes bibliographical references and index. Computable functions Recursive functions Logic, Symbolic and mathematical BC135 .B66 511.3 0521299675 (pbk.) 0521234794 80040432 UOEL 000 20150630130737.0 4664124