Computability and logic /
Boolos, George S.
Computability and logic / George S. Boolos, Richards C. Jeffrey. - 3rd. ed. - Cambridge : Cambridge University Press, 1989 repr. 1999. - 304 p. ; 23 cm.
Includes index.
0521389232
Computable functions
Recursive functions
Logic, Symbolic and mathematical
511.3
Computability and logic / George S. Boolos, Richards C. Jeffrey. - 3rd. ed. - Cambridge : Cambridge University Press, 1989 repr. 1999. - 304 p. ; 23 cm.
Includes index.
0521389232
Computable functions
Recursive functions
Logic, Symbolic and mathematical
511.3