Computability and logic
By: Boolos, George S.
Contributor(s): Burgess, John P | Jeffrey, Richard C.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 2002Edition: 4th ed.Description: xi, 356 p.; ill.: 26 cm.ISBN: 0521007585 .Subject(s): Logic, Symbolic and mathematical | Computable functions | Recursive functionsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 BOO (Browse shelf) | Available | 016380 |
There are no comments for this item.