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

Powered by Koha