Results of search for 'su:"Computable functions"' › JRD Tata Memorial Library catalog

Results
	1.	Introduction to computability Fred Hennie. by Hennie, Fred Series: Addison Wesley series in computer science and information processing Material type: Book Publication details: Reading, Mass A-W 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N77. Place hold
	2.	Computability by Klaus Weihrauch. by Weihrauch, Klaus Series: EATCS monographs on theoretical computer science Material type: Book Publication details: Berlin Springer Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515.25 N87.
	3.	Computability theory, semantics and logic programming. by Melvin Fitting. by Fitting, Melvin Series: Oxford logic guides ; no.13 Material type: Book Publication details: New York Oxford univ Press 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8724.
	4.	Reflexive structures an introduction to computability theory by Luis E. Sanchis by Sanchis, Luis E Material type: Book Publication details: New York Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N8810.
	5.	Computability, complexity, logic by E. Borger by Borger, E Series: Studies in logic and the foundations of mathematics V.128 Material type: Book Publication details: Amsterdam North-Holland 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N895.
	6.	Computability, computable functions, logic, and the foundations of mathematics by Richard L. Epstein, Walter A. Carnielli by Epstein, Richard L Carnielli, Walter A Series: Wadsworth & Brooks/Cole mathematics series Material type: Book Publication details: Pacific Grove Wadsworth and Books 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N897. Place hold
	7.	No cover image available Programming language support for geometric computations by Mark Gordon Segal by Segal, Mark Gordon Material type: Book Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N893.
	8.	No cover image available Symbolic computation in fluid mechanics and heat transfer /ed. by H.H. Bau, T. Herbert and M.N. Yovanovich. by Bau, H.H. Herbert, T. Yovanovich, M.N Winter Annual Meeting of the American Society of Mechanical Engineers. Chicago 1988 Series: Heat transfer division ; Vol.105 Material type: Book Publication details: New York ASME 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.4022 N887.
	9.	No cover image available Enumerability . decidability computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G. T. Hermann by Hermes, Hans Hermann, G. T., Tr Plassmann, O., Tr Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band ; 127 Edition: 2nd Material type: Book Publication details: Berlin Springer-Verlag 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;5.
	10.	Introduction to mathematical logic set theory computable functions model theory by Jerome Mallitz by Malitz, Jerome Series: Undergraduate Text in Mathematics Material type: Book Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N792. Place hold
	11.	No cover image available Computability and unsolvability by Martin Davis. by Davis, Martin Series: McGraw-Hill Series in Information Processing and Computers Material type: Book Publication details: New York McGraw-Hill Book Co. 1958 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N58. Place hold
	12.	Recursion on the countable functionals by Dag Norman by Normann, Dag Series: Lecture Notes in Mathematics V.811 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N806.
	13.	Recursively enumerable sets and degrees a study of computable functions and computably generated sets by Robert I. Soare. by Soare, Robert I Series: Perspective in Mathematical Logic Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N871. Place hold
	14.	No cover image available Enumerability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G. T. Herman by Hermes, Hans Hermann, G. T., Tr Plassmann, O. tr Series: Die Grundlehren der mathematischen Wissenschaften Edition: 2nd. Material type: Book Publication details: Berlin Springer-Verlag 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;6.
	15.	No cover image available Enuberability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G.T. Herman by Hermes, Hans Hermann, G.T., Tr Plassmann, O., Tr Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band ; V.127 Edition: 2nd. Material type: Book Publication details: Berlin S-V 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;1.
	16.	No cover image available Theory of recursive functions and effective computability by Hartley Rogers by Rogers, Hartley Series: McGraw-Hill Series in Higher Mathematics ; Material type: Book Publication details: New York McGraw-Hill Book Co. 1967 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.6 N67;4. Place hold
	17.	No cover image available Theory of recursive functions and effective computability by Hartley Rogers. by Rogers, Hartley Series: McGraw-Hill Series in Higher Mathematics Material type: Book Publication details: New York McGraw-Hill Book Co. 1967 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.6 N67;3.
	18.	No cover image available Theory of recursive functions and effective computability by Hartley Rogers by Rogers, Hartley Series: McGraw-Hill Series in Higher Mathematics Material type: Book Publication details: New York McGraw-Hill Book Co. 1967 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.6 N67.
	19.	No cover image available Theory of recursive functions and effective computability /by Hartley Rogers by Hartley Rogers by Rogers, Hartley Series: McGraw-Hill Series in Higher Mathematics Material type: Book Publication details: New York McGraw-Hill Book Co. 1967 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.6 N67;1.
	20.	Programming approach to computability by A. J. Kfoury, Robert N. Moll, Michael A. Arbib by Kfoury, A. J Moll, Robert N Arbib, Michael A Series: AKM series in theoretical computer science Material type: Book Publication details: New York Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N825;5.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 48 results.