Recursion theory / Joseph R. Shoenfield.
By: Shoenfield, Joseph R. (Joseph Robert) [author.].
Material type:
TextSeries: Lecture notes in logic.Publisher: Cambridge : Cambridge University Press, [2016]Description: 84 pages ; PDS 95.00 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9781107168084 (hbk.) :.Subject(s): Recursion theoryDDC classification: 511.35
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Chennai Mathematical Institute General Stacks | 511.35 SHO (Browse shelf) | Available | 10632 |
Total holds: 0
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
|
|
|
|
|
|
|
||
| 511.35 NED Type theory and formal proof : an introduction / | 511.35 PIN Handbook of Automata Theory/ Volume I theoretical foundations. | 511.35 PIN Handbook of Automata Theory/ Volume II automata in mathematics and selected applications. | 511.35 SHO Recursion theory / | 511.35 THO Automata, Graphs and Logic | 511.352 ARO Computational complexity : a modern approach / | 511.352 ARO Computational complexity : a modern approach / |
"First edition ©1993 [by] Springer-Verlag Berlin Heidelberg; this edition ©2016"--Title page verso.
Formerly CIP. Uk
Includes bibliographical references and index.