Computability and logic /
by Boolos, George; Burgess, John P [jt. aut.]; Jeffrey, Richard C [jt. aut.].
Material type: BookPublisher: Cambridge ; New York : Cambridge University Press, 2007Edition: 5th ed.Description: xiii, 350 p. : ill. ; 26 cm.ISBN: 9780521701464 (pbk.).Subject(s): Computable functions | Recursive functionsItem type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Dhaka University Library General Stacks | Non Fiction | 511.352 BOC (Browse shelf) | 1 | Available | 443110 | |
Books | Dhaka University Library General Stacks | Non Fiction | 511.352 BOC (Browse shelf) | 2 | Available | 453407 |
Includes bibliographical references and index.
There are no comments for this item.