Recursion on the countable functionals
Material type: TextLanguage: English Series: Lecture notes in mathematics; v 811Publication details: Berlin Springer-Verlag 1980Description: viii,190pISBN:- 3-540-10019-9
- 511.35 N849
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.35 N849 (Browse shelf(Opens below)) | Available | 97174 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
511.35 M379 Introduction to languages and the theory of computation/ | 511.35 M678 Theory of computer science (automata, languages and computation)/ | 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 |
There are no comments on this title.
Log in to your account to post a comment.