Techniques of admissible recursion theory /
Material type: TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 1106.Publication details: Berlin New York Springer-Verlag 1984Description: vii, 214 pISBN: 0387139028Subject(s): Recursion theory | MathematicsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51 LNM (Browse shelf (Opens below)) | Available | 54103 |
Includes index.
Bibliography: p. [206]-211.
There are no comments on this title.