Your search returned 3 results.

Results
	1.	The lambda calculus : its syntax and semantics / H. P. Barendregt by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; vol. 103 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Pub., 1981 Availability: Items available for loan: National Library of India (1)Call number: E517 B237. Place hold Request article Save to lists
	2.	Language in action : categories, lambdas, and dynamic logic / Johan van Benthem by Benthem, Johan van, 1949- Series: Studies in logic and the foundations of mathematics ; v. 130 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland, 1991 Availability: Items available for loan: National Library of India (1)Call number: E 415.018 B 445. Place hold Request article Save to lists
	3.	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

Refine your search