The Undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
By: Davis, Martin.
Contributor(s): Davis, Martin, Ed.
Material type:
BookPublisher: New York Raven Press 1965Description: 440p.Subject(s): Recursive functions | Godel's theorem | Turning machinesDDC classification: 512.8 | D295u
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 512.8 D295u (Browse shelf) | Available | 55544 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 512.8 B953i AN INTRODUCTION TO ABSTRACT MATHEMATICAL SYSTEMS | 512.8 C176mE ALGEBRAIC THEORY OF MEASURE AND INTEGRATION | 512.8 C42c THE CONSTRUCTION AND STUDY OF CERTAIN IMPORTANT ALGEBRAS | 512.8 D295u The Undecidable | 512.8 D461a ABSTRACT ALGEBRA | 512.8 D56o OPERATORS | 512.8 D91E PT.1 LINEAR OPERATORS |
There are no comments for this item.