Computability and logic /
Boolos, George S.
Computability and logic / George S. Boolos, Richard C. Jeffrey. - 3rd ed. - Cambridge : Cambridge University Press, 1989. - x, 304 p. ; 23 cm.
Includes index.
Includes bibliographical references.
0521389232 (pbk.)
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Computability and logic / George S. Boolos, Richard C. Jeffrey. - 3rd ed. - Cambridge : Cambridge University Press, 1989. - x, 304 p. ; 23 cm.
Includes index.
Includes bibliographical references.
0521389232 (pbk.)
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.