ARRUPE JESUIT UNIVERSITY

CORONAVIRUS -STOP THE SPREAD - CLEAN,DISINFECT,COVER

Computability and logic /

Boolos, George.

Computability and logic / George Boolos, Richard Jeffrey. - 2d ed. - Cambridge [Eng.] ; New York : Cambridge University Press, 1980. - x, 285 p. ; 24 cm.

Includes bibliographical references and index.

0521299675 (pbk.) 0521234794

80040432

GB80


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

QA9.59 / .B66 1980

511.3

 

Arrupe Library. PO Box MP320 Mt Pleasant, Harare, Zimbabwe
263 242 745411|librarian@aju.ac.zw