Computability and Logic /

Boolos, George S.

Computability and Logic / George S. Boolos, John P. Burgess and Richard C. Jeffrey - 5th Ed. - Cambridge : New York : Cambridge University Press, c1974. - xiii, 350p.

9780521701464 (pbk.)


Computable Functions
Recursive Functions

511.352 / BooC5