Your search returned 6 results.

Results
	1.	Elements of combinatory logic / Frederic B. Fitch by Fitch, Frederic B. (Frederic Brenton), 1908-1987 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Haven : Yale University Press, c1974 Availability: Items available for loan: National Library of India (1)Call number: E164 F552. Place hold Request article Save to lists
	2.	Recursive programming techniques / William H. Burge by Burge, William H Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Reading, Mass. : Addison-Wesley Pub., c1975 Availability: Items available for loan: National Library of India (1)Call number: E 001.642 B 91. Place hold Request article Save to lists
	3.	No cover image available Combinatory logic / Haskell B. Curry, Robert Feys and William Craig by Curry, Haskell B. (Haskell Brooks), 1900- Feys, Robert [jt.aut] Craig, William [jt.aut] 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., 1958 - Availability: Items available for loan: National Library of India (2)Call number: E164 C937, ... Place hold Request article Save to lists
	4.	Algebra of proofs / M. E. Szabo by Szabo, M. E Series: Studies in logic and the foundations of mathematics ; v. 88 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Pub., 1978 Availability: Items available for loan: National Library of India (1)Call number: E510.1 Sz12. Place hold Request article Save to lists
	5.	Combinators, -terms and proof theory / Soren Stenlund by Stenlund, Soren Series: Synthese library Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht : D. Reidel, 1972 Dissertation note: Akademisk avhandling--Uppsala Availability: Items available for loan: National Library of India (1)Call number: E 572.5 St 42. Place hold Request article Save to lists
	6.	Lambda-calculus and computer science theory Programming on calculus and computer science theory held at Rome, March 25-27, 1975 ; edited by C. Bohm by Programming on Calculus and computer Scienee Theory (1975 Mar. 25-27 : Rome) Bohm, C. (Corrado), 1923- [edt] Istituto per le Applicazioni del Calcolo Series: Lecture notes in computer science ; 37 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: French Publication details: Berlin Springer Verlag 1975 Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497. 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