|
|
|
|
|
|
|
Recursive Analysis by Goodstein, R.L. Series: Studies in logic and the foundations of MathematicsMaterial type: 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.
|
|
|
|
Recursive Analysis by Goodstein, R. L. Series: Studies in logic and the foundations of MathematicsMaterial type: 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.
|
|
|
|
Generalized recursion theory Proceedings of the 1972 oslo symposium by Fenstad, Jens Erik Ed | Hinman, Peter G Ed. Material type: 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.
|
|
|
|
Recursion Theory for Metamathematics by Smullyan, Raymond M. Series: Oxford Logic Guides, 22Material type: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
How to Think about Algorithms by Edmonds, Jeff. Material type: 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.
|
|
|
|
Computability theory by Weber, Rebecca. Series: Student Mathematical Library ; 62Material type: 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.
|
|
|
|
|
|
|
|
Computability Theory by Weber, Rebecca. Series: Student Mathematical Library ; 62Edition: IndianMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Providence American Mathematical Society 2012Availability: Items available for loan: IMSc Library (2). Location(s): Call number: 511 WEB.
|
|
|
|
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;Language: English; Format:
available online
; 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): .
|
|
|
|
|
|
|
|
|