Computability, Enumerability, Unsolvability : (Record no. 41486)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02130nam a22003978a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780511629167 (ebook) |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3/5 |
| 245 00 - TITLE STATEMENT | |
| Title | Computability, Enumerability, Unsolvability : |
| Sub Title | Directions in Recursion Theory / |
| Statement of responsibility, etc | Edited by S. B. Cooper, T. A. Slaman, S. S. Wainer. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Cambridge : |
| Name of publisher | Cambridge University Press, |
| Year of publication | 1996. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (356 pages) : |
| Other physical details | digital, PDF file(s). |
| 490 0# - SERIES STATEMENT | |
| Series statement | London Mathematical Society Lecture Note Series ; |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 16 Oct 2015). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Recursion theory |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Cooper, S. B., |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Slaman, T. A., |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wainer, S. S., |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1017/CBO9780511629167 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Cambridge : |
| -- | Cambridge University Press, |
| -- | 1996. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK12192 | http://dx.doi.org/10.1017/CBO9780511629167 | E-BOOKS |