Computability and Logic
By: Boolos, George S.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 1989Edition: 3rd ed.Description: 304 p.; Illus. Index.: 23 cm.ISBN: 9780521389235 .Subject(s): Computer Functions | Computer Logic | Diagonalization | Enumerability | Function Symbols | Compactness theorem | Ramsey's theorem | Dyadic logicDDC classification: 005.115
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.115 BOO (Browse shelf) | Available | 003574 |
There are no comments for this item.