IMSc Library catalog › Results of search for 'su:"Recursive functions"'

Your search returned 9 results.

Not what you expected? Check for suggestions

			Logic colloquium '69 Proceedings of the summer school and colloquium in Mathematical logic, Manchester, August 1969 by Gandy, R.O Ed \| Yates, C.M.E Ed. Material type: Text;Language: English; Format: print Language: English Publication details: Amsterdam North-Holand Publishing Company 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GAN. Place hold Log in to add tags
			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. Place hold Log in to add tags
			Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach. by Marek, Wiktor \| Srebrny, Marian \| Zarach, Andrzej. Series: Lecture notes in mathematics (Springer-Verlag) ; 537.Material type: Text;Language: English; Format: print festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Games and Full Abstraction for a Functional Metalanguage with Recursive Types : (DD) by McCusker, Guy. Series: Distinguished DissertationsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MCC. Place hold Log in to add tags
			Super-recursive algorithms by Burgin, Mark. Series: Monographs in computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York, NY ; Springer ; c2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 BUR. Place hold Log in to add tags
			Recursive function theory. [electronic resource] [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society] by Symposium in Pure Mathematics (5th : 1961 : New York). Series: Proceedings of symposia in pure mathematics ; v. 5Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1962Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Hierarchies of predicates of finite types / [electronic resource] by D.A. Clarke. by Clarke, D. A. (Douglas Albert). Series: Memoirs of the American Mathematical Society ; no. 51.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1964Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formalized recursive functionals and formalized realizability / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994. Series: Memoirs of the American Mathematical Society ; no. 89.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1969Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Minimal degrees of unsolvability and the full approximation construction / [electronic resource] Richard L. Epstein. by Epstein, Richard L, 1947-. Series: Memoirs of the American Mathematical Society ; no. 162.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence : American Mathematical Society, 1975Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha