Computability and logic / By George S. Boolos and Richard C. Jeffrey.(Print Resources).
By: Boolos, George
.
Contributor(s): Jeffrey, Richard C.
Material type: 
BookPublisher: Cambridge ; New York : Cambridge University Press, c1989Edition: 3rd ed.Description: x, 304 p. : ill. ; 23 cm.ISBN: 052138026X; 0521389232 (pbk.).Subject(s): Computable functions | Recursive functions | Logic, Symbolic and mathematicalOnline resources: Publisher description
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books,Booklets,Workbooks
|
Awwal Ibrahim Library Bosso | QA9.59.B66 1989 (Browse shelf) | nc 1 | Available | 2342130168 |
Includes index.
B-14055/shehu/120617
There are no comments for this item.