Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Recursion Theory : its Generalisations and Applications Proceedings of Logic Colloquium 79, Leeds, August 1979

by Drake, F.R | Wainer, S.S.

Series: London mathematical society lecture note series ; 00045Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DRA.

BOOKS
Proof Theory Leeds Proof Theory Programme, 1990

by Aczel, Peter. Ed | Simmons, Harold. Ed | Wainer, S S. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.6 ACZ.

BOOKS
Computability, enumerability, unsolvability directions in recursion theory

by Cooper, S B | Slaman, T A | Wainer, S S Eds.

Series: London mathematical society lecture note series ; 00224Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 48 Call number: 510.6 COO.

E-BOOKS
Recursion Theory, its Generalisations and Applications / Edited by F. R. Drake, S. S. Wainer.

by Drake, F. R [editor of compilation.] | Wainer, S. S [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 45Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1980Other title: Recursion Theory, its Generalisations & Applications.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computability, Enumerability, Unsolvability : Directions in Recursion Theory / Edited by S. B. Cooper, T. A. Slaman, S. S. Wainer.

by Cooper, S. B [editor of compilation.] | Slaman, T. A [editor of compilation.] | Wainer, S. S [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 224Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha