Your search returned 10 results.

Results
	1.	No cover image available History of decimalisation movement in India / A. K. Acharya by Acharya, A. K Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta : Indian Decimal Society, [n.d.] Availability: Items available for loan: National Library of India (1)Call number: E 511.1 Ac 44. Place hold Request article Save to lists
	2.	No cover image available Godel's proof / by Ernest Nagel and James R. Newman by Nagel, Ernest, 1901- Newman, James R, 1907-1966 [jt.aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Routledge and Kegan Paul, 1959 Availability: Items available for loan: National Library of India (1)Call number: E164 N131. Place hold Request article Save to lists
	3.	No cover image available A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers / by K. L. De Bouvere by Bouvere, Karel Louis de Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Pub., 1959 Dissertation note: Academic thesis--Amsterdam Availability: Items available for loan: National Library of India (1)Call number: E512.81 B669. Place hold Request article Save to lists
	4.	No cover image available On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated [from the German] by B. Meltzer with an introduction by R. B. Braithwaite by Goedel, Kurt Meltzer, B [trl] Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Edinburgh : Oliver and boyd, 1962 Availability: Items available for loan: National Library of India (1)Call number: E164 G551. Place hold Request article Save to lists
	5.	Godel's theorem in focus / edited by S. G. Shanker by Shanker, S. G [edt] Series: Croom Helm philosophers in focus series Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Croom Helm, c1988 Availability: Items available for loan: National Library of India (1)Call number: E517.521 G542. Place hold Request article Save to lists
	6.	No cover image available Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / Andrzej Mostowski by Mostowski, Andrzej 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., 1957 Availability: Items available for loan: National Library of India (1)Call number: E164 M855. Place hold Request article Save to lists
	7.	Mechanism, mentalism, and metamathematics : an essay on finitism / Judson Chambers Webb by Webb, Judson Chambers, 1936- Series: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht : D. Reidel, c1980 Availability: Items available for loan: National Library of India (1)Call number: E510.1 W382. Place hold Request article Save to lists
	8.	No cover image available Pharmaceutical arithmetic and Latin / by Schroff and Srivastavas ; revised by Kamlakar D. Gode and ; genarel editor by M. L. Schroff by Schroff Srivastavas [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta : National Book Centre, 1970 Availability: Items available for loan: National Library of India (1)Call number: E 511.024615 Sch 76. Place hold Request article Save to lists
	9.	Shadows of the mind : a search for the missing science of / Roger Penrose by Penrose, Roger Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Vintage, 1998 Availability: Items available for loan: National Library of India (1)Call number: E150.1943 P386. Place hold Request article Save to lists
	10.	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