Your search returned 7 results.

Results
	1.	No cover image available Calculus and computer science theory; proceedings of the symposium held in Rome, March 25-27 1975 by Bohm, C Series: Lecture notes in computer science, no. 37 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 1975 Availability: Items available for loan: Ahmedabad (1)Call number: 512.5 C2. Place hold
	2.	Recursive programming techniques William H. Burge by Burge, William H Series: The Systems programming series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Massachusetts Addison-Wesley Publishing Company 1975 Availability: Items available for loan: Ahmedabad (1)Call number: 001.642 B8R3. Place hold
	3.	Model theory Chang, C. C. by Chang, C. C Keisler, H. Jerome Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Dover Publications 2012 Availability: Items available for loan: Ahmedabad (1)Call number: 511.34 C4M6. Place hold
	4.	Algebra of proofs / by M E Szabo. by Szabo, M E Series: Studies in logic and foundations of mathematics ; Vol.88 Material type: Text; Literary form: Not fiction Publication details: Amsterdam: North Holland, 1978 Availability: Items available for loan: Bangalore (1)Call number: 511.3 SZA. Place hold
	5.	Combinatory logic vol.2 / by Haskell B Curry. by Curry, Haskell B Series: Studies in logic and the foundations of mathematics Material type: Set Publication details: Amsterdam: North-Holland, 1972 Availability: Items available for loan: Bangalore (1)Call number: 511.6 CUR. Place hold
	6.	Introduction to combinatory logic / J R Hindley, B Lercher and J P Seldin by Hindley, J R Lercher, B Seldin, J P Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1972 Availability: Items available for loan: Calcutta (1)Call number: 511.3 HIN. Place hold
	7.	No cover image available Combinatory logic / Haskell B Curry and Robert Feys by Curry, Haskell B Feys, Robert Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North Holland Publishing, 1958 Availability: Items available for loan: Calcutta (1)Call number: 511.3 CUR. Place hold

Powered by Koha