Your search returned 19 results.

Results
	1.	Computability Theory: An Introduction to Recursion Theory [Electronic resource]/ Herbert B. Enderton by Enderton, Herbert B Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Amsterdam: Elsevier, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	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
	3.	Computability theory / Rebecca Weber by Weber, Rebecca Series: Student Mathematical library ; no. 62 Material type: Text; Literary form: Not fiction ; Audience: General; Language: English Publication details: Hyderabad : Universities Press, 2016 Availability: Items available for loan: National Library of India (1)Call number: E 511.352 W 389. Place hold Request article Save to lists
	4.	Compuing and information sciences : recent trends/ ed. J. C. Misra ; associate eds. A. Goswami, Pawan Kumar by Misra, J. C. (Jagadis Chandra) [edt.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Narosa Pub. House, c 2003 Availability: Items available for loan: National Library of India (1)Call number: E/O 004.6 C 739 m. Place hold Request article Save to lists
	5.	Models of computation and formal languages / R. Gregory Taylor by Taylor, Ralph Gregory Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Oxford University Press, 1998 Availability: Items available for loan: National Library of India (1)Call number: E 004.015113 T 217. Place hold Request article Save to lists
	6.	Computability theory / Rebecca Weber by Weber, Rebecca Series: Student Mathematical library ; no. 62 Material type: Text; Literary form: Not fiction ; Audience: General; Language: English Publication details: Hyderabad : Universities Press, 2016 Availability: Items available for loan: National Library of India (1)Call number: E 511.352 W 389. Place hold Request article Save to lists
	7.	Effective Mathematics of the Uncountable / edited by Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller. by Greenberg, Noam [edt.] Hirschfeldt, Denis [edt.] Hamkins, Joel David [edt.] Miller, Russell [edt.] Series: Lecture Notes in Logic ; 41 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	8.	Introduction to languages and the theory of computation/ John C. Martin by Martin, John C Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Tata McGraw-Hill Education, 2007 Availability: Items available for loan: National Library of India (1)Call number: E 511.352 M 364. Place hold Request article Save to lists
	9.	Introduction to languages and the theory of computation / John Martin by Martin, John Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Delhi : Tata McGraw-Hill Education, 2003 Availability: Items available for loan: National Library of India (1)Call number: E 511.3 M 844. Place hold Request article Save to lists
	10.	The theory of computer science a programming approach J. M. Brady by Brady, J. M Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Chapman and Hall 1977 Availability: Items available for loan: National Library of India (1)Call number: E/O 001.64 B 729. Place hold Request article Save to lists
	11.	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
	12.	Computability [electronic resource] / by George Tourlakis. by Tourlakis, George [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	13.	Computability, complexity, logic / E. Borger by Borger, E. (Egon), 1946- Series: Studies in logic and the foundations of mathematics ; v. 128 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Amsterdam : North-Holland Pub., 1989 Availability: Items available for loan: National Library of India (1)Call number: E164 B644l. Place hold Request article Save to lists
	14.	Logic, foundations of mathematics and computability theory / edited by Robert E. Butts and Jaakko Hintikka by International Congress of Logic, Methodologyand Philosophy of Science (5th : 1975, 27 Aug. - 2 Sep. : University of Western Ontario) Butts, Robert E [edt] Hintikka, Jaakko, 1929- [edt] Series: University of Western Ontario series in philosophy of science ; v. 9.,10, 11 and 12 \| Proceedings of the Fifth International Congress of Logic, Methodologyand Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston : D. Reidel, 1977 Availability: Items available for loan: National Library of India (1)Call number: S.T 501 In 8(1975). Place hold Request article Save to lists
	15.	Logic, foundations of mathematics and computability theory / edited by Robert E. Butts and Jaakko Hintikka by International Congress of Logic, Methodologyand Philosophy of Science (5th : 1975, 27 Aug. - 2 Sep. : University of Western Ontario) Butts, Robert E [edt] Hintikka, Jaakko, 1929- [edt] Series: University of Western Ontario series in philosophy of science ; v. 9.,10, 11 and 12 \| Proceedings of the Fifth International Congress of Logic, Methodologyand Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston : D. Reidel, 1977 Availability: Items available for loan: National Library of India (4)Call number: S.T 501 In 8(1975), ... Place hold Request article Save to lists
	16.	Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. by Pavlovic, Dusko [author.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	17.	Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Damir D. Dzhafarov, Carl Mummert. by Dzhafarov, Damir D [author.] Mummert, Carl [author.] Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	18.	Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. by Supowit, Kenneth J [author.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	19.	Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi. by Pettorossi, Alberto [author.] Series: Undergraduate Topics in Computer Science Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 005.131. Place hold 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