Your search returned 12 results.

Results
	1.	Elementary induction on abstract structures / Yiannis N. Moschovakis by Moschovakis, Yiannis N. (Yiannis Nicholas) Series: Studies in logic and the foundations of mathematics ; v. 77 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Pub., 1974 Availability: Items available for loan: National Library of India (1)Call number: E164 M851. Place hold Request article Save to lists
	2.	No cover image available Degrees of unsolvability / by Gerald E. Sacks by Sacks, Gerald E Series: Annals of mathematics studies ; 55 Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton, N.J. : Thea250 University Press, 1966 Availability: Items available for loan: National Library of India (1)Call number: E517.5 Sa14. Place hold Request article Save to lists
	3.	Theory of computation / [by] Walter S. Brainerd [and] Lawrence H. Landweber by Brainerd, Walter S Landweber, Lawrence H [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : John Wiley, [1974] Availability: Items available for loan: National Library of India (1)Call number: E519.1 B731. Place hold Request article Save to lists
	4.	No cover image available Degrees of unsolvability / Joseph R. Shoenfield by Shoenfield, Joseph R. (Joseph Robert), 1927- Series: North-Holland mathematics studies ; 2 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Pub., 1972 Availability: Items available for loan: National Library of India (1)Call number: E512.8 Sh73. Place hold Request article Save to lists
	5.	Mathematical logic / J. Donald Monk by Monk, J. Donald (James Donald), 1930- Series: Graduate texts in mathematics ; 37 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, 1976 Availability: Items available for loan: National Library of India (1)Call number: E512.8 M749. Place hold Request article Save to lists
	6.	No cover image available The foundations of intuironistic mathematics : specially in relation to recursive finctions / Stephen Cole Kleene, Ricahrd Edgene Vesley by Kleene, Stephen Cole, 1909- Vesley, Ricahrd Eugene [jt. aut] Series: Studies in logic and the foundations in mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland, 1965 Availability: Items available for loan: National Library of India (1)Call number: E512.81 K672. Place hold Request article Save to lists
	7.	No cover image available Introduction to the theory of computation / Erwin Engeler by Engeler, Erwin Series: Computer science and applied mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Academic Press, c1973 Availability: Items available for loan: National Library of India (1)Call number: E510.78 En32. Place hold Request article Save to lists
	8.	Recursive methods in economic dynamics / Nancy L. Stokey and Robert E. Lucas [and] Edward C. Prescott by Stokey, Nancy L Lucas, Robert E [jt. aut] Prescott, Edward C [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Mass. : Harvard University Press, 1989 Availability: Items available for loan: National Library of India (1)Call number: E 330.182 St 67. Place hold Request article Save to lists
	9.	Recursive functionals / Luis E. Sanchis by Sanchis, Luis E Series: Studies in logic and the foundations of mathematics ; v. 131 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland, 1992 Availability: Items available for loan: National Library of India (1)Call number: E511.8 Sa55r. Place hold Request article Save to lists
	10.	Computability and logic / George Boolos [and] Richard Jeffrey by Boolos, George Jeffrey, Richard [jt.aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Cambridge University Press, 1974 Availability: Items available for loan: National Library of India (1)Call number: E164 B644. Place hold Request article Save to lists
	11.	No cover image available Formal systems and recursive functions / edited by J. N. Crossley and M. A. E. Dummett by Proceedings of Logic Colloquium (8th : 1963 : Oxford) Crossley, J. N [edt] Dummett, M. A. E [edt] Association for Symbolic Logic North Atlantic Treaty Organization International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Pub., 1965 Availability: Items available for loan: National Library of India (1)Call number: E164 C698. Place hold Request article Save to lists
	12.	No cover image available Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated from German by G. T. Hermann and O. Plassmann by Hermes, Hans Hermann, G. T [trl] Plassmann, O [trl] Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127 Edition: 2nd rev. ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Berlin : Springer, 1969 Availability: Items available for loan: National Library of India (1)Call number: E511.2076 H428. Place hold Request article Save to lists

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India