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 |
Browsing DAIICT Shelves Close shelf browser
| 005.114 LOV Steps in Scala : an introduction to object-functional programming | 005.114 OSU Real world haskell: code you can believe in. | 005.115 APT Logic programming paradigm : a 25-year perspective | 005.115 BOO Computability and Logic | 005.115 DOE Haskell road to logic, maths and programming | 005.115 HIT Mathematical aspects of logic programming semantics | 005.115 YUA Constraint-based verification |
There are no comments for this item.