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 | DAU | 511.3 BOO (Browse shelf) | Available | 016380 |
Browsing DAU Shelves Close shelf browser
| 511.3 BLO Proofs and Fundamentals | 511.3 BLO Proofs and fundamentals : a first course in abstract mathematics | 511.3 BLU Complexity and real computation | 511.3 BOO Computability and logic | 511.3 BRA Mathematics of preference, choice and order : essays in honor of Peter C. Fishburn | 511.3 BRA Hybrid logic and its proof-theory | 511.3 BRI Computability : a mathematical sketchbook |
There are no comments for this item.