Computability and logic /
Boolos, George.
Computability and logic / George Boolos, Richard Jeffrey. - Cambridge : University Press, c1974 - x, 262 p. : ill. ; 24 cm.
Includes index.
052120402X
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Computable functions.
511.3 / BOC 1974
Computability and logic / George Boolos, Richard Jeffrey. - Cambridge : University Press, c1974 - x, 262 p. : ill. ; 24 cm.
Includes index.
052120402X
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Computable functions.
511.3 / BOC 1974