Computability and unsolvability / by Davis, Martin
By: Davis, Martin.
Material type:
BookPublisher: New York Dover publication inc 1982Description: 248 21cm.ISBN: 9780486614717.Subject(s): Recursive functions | Computable functions | Unsolvability (Mathematical logic) | Maths-StatisticsDDC classification: 517.5
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 517.5 DAV (Browse shelf) | Available | 001279 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
| 516.36 KIM Numerical geometry of images | 516.36 WIL Introduction to differential geometry | 516.362 OPR Mathematics of soap films | 517.5 DAV Computability and unsolvability | 518 HUT Student's Guide to Numerical Methods | 518 NAS Introduction to numerical analysis and scientific computing | 518.1 DAS Algorithms |
English
There are no comments for this item.