Computability and logic
Boolos, George.
Computability and logic George. Boolos - 3rd ed. - New York Cambridge University Press 1989. - x, 304 p. ill. 24 cm.
Includes bibliographical references and index.
0521389232 (pbk.
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
511.320 / BOO
Computability and logic George. Boolos - 3rd ed. - New York Cambridge University Press 1989. - x, 304 p. ill. 24 cm.
Includes bibliographical references and index.
0521389232 (pbk.
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
511.320 / BOO