Computability and Logic /

Boolos, George,

Computability and Logic / George S. Boolos, John P. Burgess, Princeton University, Richard C. Jeffrey, Princeton University. - Fourth edition. - xi, 356 pages : illustrations ; 27 cm

Includes bibliographical references and index.

9780521007580 0521007585 (pbk.)


Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.

--Reading book

511.3 / BOO

© BUE Library 2020