Classical recursion theory
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematics; v 143Publication details: Amsterdam Elsevier 1999Description: 2vISBN: - 0-444-50205-X
- 511.35 Od24
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.35 Od24 (Browse shelf(Opens below)) | Available | 119802 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| 511.35 M717 Computations in higher types | 511.35 N849 Recursion on the countable functionals | 511.35 Od24 Classical recursion theory : the theory of functions and sets of natural numbers | 511.35 Od24 Classical recursion theory | 511.35 R796 Subrecursion : functions and hierarchies | 511.35 R814 Pillars of computation theory | 511.35 Sa121 Higher recursion theory |
There are no comments on this title.
Log in to your account to post a comment.
