Results of search for 'ccl=su:"Recursive 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: Text 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: Text 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.	Reflexive structures an introduction to computability theory by Luis E. Sanchis by Sanchis, Luis E Material type: Text 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.
	4.	Structure in complexity theory. by Selman, Alan L Structure in Complexity Theory Conference. Berkeley 1986 Series: Lecture notes in cpmputer science ; 223 Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N863.
	5.	No cover image available Introduction to metamathematics by Stephen Cole Kleene. by Kleene, Stephen Cole Series: The University series in Higher Mathematics ; Material type: Text Publication details: Princeton D.Van Nostrand Company, Inc., 1952 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N526. Place hold
	6.	No cover image available Introduction to metamathematics by Stephen Cole Kleene. by Kleene, Stephen Cole Series: Bibliotheca Mathematica ; v.1 Material type: Text Publication details: Amsterdam North Holland Pub.Co 1952 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N52;1. Place hold
	7.	No cover image available Foundations of intuitionistic mathematics especially in relation to recursive functions /by Stephen Cole Kleene, Richard Eugene Vesley by Kleene, Stephen Cole Vesley, Richard Eugene Series: Studies in Logic and Foundations of Mathematics Material type: Text Publication details: Amsterdam North-Holland Pub.Co 1965 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N651.
	8.	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: Text 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.
	9.	No cover image available Computability and unsolvability by Martin Davis. by Davis, Martin Series: McGraw-Hill Series in Information Processing and Computers Material type: Text 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
	10.	No cover image available Recursive analysis by R. L. Goodstein by Goodstein, R.L Series: Studies in Logic and the Foundations of Mathematics Material type: Text Publication details: Amsterdam North-Holland 1961 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N61.
	11.	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: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N871. Place hold
	12.	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: Text 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.
	13.	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 in Einzeldarstellungen Band ; Vol.127 Edition: 2nd Material type: Text Publication details: Berlin Springer-Verlag 1965 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;4.
	14.	No cover image available Degrees of unsolvability by Gerald E. Sacks. by Sacks, Gerald E Series: Annals of Mathematics Studies Edition: 2nd Material type: Text Publication details: Princeton Princeton Univ.Press 1966 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N666.
	15.	Admissible sets and structures an approach to definability theory by Jon Barwise. by Barwise, Jon Series: Perspectives in mathematical logic Material type: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N755.
	16.	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: Text 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.
	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: Text 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
	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: Text 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.
	19.	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: Text 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.
	20.	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: Text 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.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 43 results.