Your search returned 23 results.

Not what you expected? Check for suggestions
BOOKS
Computability in combinatory spaces - An algebraic generalization of abstract first order computability

by Skordev,Dimiter G.

Series: Mathematics and its applications-East European SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.57 SKO.

BOOKS
Recursive Analysis

by Goodstein, R.L.

Series: Studies in logic and the foundations of MathematicsMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publicatins Company 1961Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOO.

BOOKS
Recursive Analysis

by Goodstein, R. L.

Series: Studies in logic and the foundations of MathematicsMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publishing Company 1961Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOO.

BOOKS
Generalized recursion theory Proceedings of the 1972 oslo symposium

by Fenstad, Jens Erik Ed | Hinman, Peter G Ed.

Material type: Text Text;Language: English; Format: print Language: English Publication details: Amsterdam North-Holland Publishing Company 1974Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GEN.

BOOKS
Recursion Theory for Metamathematics

by Smullyan, Raymond M.

Series: Oxford Logic Guides, 22Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; Oxford University University ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 SMU.

BOOKS
Bounded Queries in Recursion Theory

by Gasarch, William I | Martin, Georgia A.

Series: Progress in Computer Science & Applied Logic, Vol. 16Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 48 Call number: 517 GAS.

BOOKS
Classical Recursion Theory, Vols. I & II.

by Odifreddi, P G.

Series: Studies in Logic and Foundations of Mathematics, 125 & 143Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1999Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 ODI.

BOOKS
Complexity, Logic, and Recursion Theory

by Sorbi, Andrea. Ed.

Series: Lecture notes in pure and applied mathematics ; 00187Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Marcel Dekker ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 SOR.

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.

BOOKS
Techniques of admissible recursion theory /

by Chong, C.-T.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1106.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 45 Call number: 51 LNM.

BOOKS
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /

by Ebbinghaus, Heinz-Dieter | Müller, G. H | Sacks, Gerald E.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1141.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1985Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 47 Call number: 51 LNM.

BOOKS
Cabal Seminar : 79 - 81 proceedings, Caltech-UCLA Logic Seminar. 1979 - 81

by Kechris .A.S | Martin .D.A | Moschovakis .Y.N.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1019Material type: Continuing resource Continuing resource;Language: English; Format: print Publication details: Berlin New York Springer-Verlag ©1978Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 43 Call number: 51 LNM.

BOOKS
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 /

by Ambos-Spies, K | Müller, G. H | Sacks, Gerald E.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1432.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 7 Call number: 51 LNM.

BOOKS
How to Think about Algorithms

by Edmonds, Jeff.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EDM.

BOOKS
Computability theory

by Weber, Rebecca.

Series: Student Mathematical Library ; 62Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode island ; American mathematical society ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:28 Shelf No:41 Call number: 511 WEB.

BOOKS
Computability theory

by Weber, Rebecca.

Series: Student mathematical library : 00062.1 | Student Mathematical LibraryEdition: IndianMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American mathematical society ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:28 Shelf No:41 Call number: 511 WEB.

BOOKS
Computability Theory

by Weber, Rebecca.

Series: Student Mathematical Library ; 62Edition: IndianMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Providence American Mathematical Society 2012Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): First Floor Rack No:28 Shelf No:41 Call number: 511 WEB.

E-BOOKS
Recent advances in real complexity and computation : [electronic resource] UIMP-RSME Lluis A. Santal�o Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Men�endez Pelayo, Santander, Spain / Jose Luis Monta�na, Luis M. Pardo, editors.

by UIMP-RSME Lluis Santal�o Summer (2012 : Santander, Spain) | Monta�na, Jose Luis, 1961- [editor of compilation.] | Pardo, L. M. (Luis M.) [editor of compilation.].

Series: Contemporary mathematics ; v. 604Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : [Madrid] : American Mathematical Society ; Real Sociedad Matematica Espa�nola, [2013]Online access: Contents | Contents 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): .

E-BOOKS
Recursion theory / [electronic resource] [edited by Anil Nerode, Richard A. Shore].

by Nerode, Anil, 1932- | Shore, Richard A, 1946- | American Mathematical Society | AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University) | Association for Symbolic Logic.

Series: Proceedings of symposia in pure mathematics ; v. 42Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1985Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha