Computable models
By: Turner, Raymond.
Material type:
BookPublisher: Berlin: Springer, 2009Description: xi, 240 p.; : 24 cm.ISBN: 9781848820517 .Subject(s): Logic, Symbolic and mathematical | Abstract data types (Computer science) -- Mathematical models | Computable functions | Model theoryDDC classification: 511.352015118
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.352015118 TUR (Browse shelf) | Available | 024776 |
Browsing DAIICT Shelves Close shelf browser
| 511.352 TOU Theory of computation | 511.352 WAN Symbolic-numeric computation | 511.352 ZIM Computational complexity : a quantitative perspective | 511.352015118 TUR Computable models | 511.36 BUR Extending the frontiers of mathematics : inquiries into proof and argumentation | 511.36 CHO Introduction to proof through number theory | 511.36 EHR Linear logic in computer science |
There are no comments for this item.