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
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