PKK Library

Your cart is empty.

Cart
- Your cart is empty.
Lists

Log in to your account
Search history [x]

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Search

Advanced search

Log in to your account

Login: Password:

Cancel

Home ›
Results of search for 'su:{Combinatory Logic}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Bimbo, Katalin (1)
- Curry, Haskell B. (1)
- Stenlund, Soren (1)
- Szabe, M. E. (2)
Holding libraries
- PK Kelkar Library, IIT Kanpur (5)
Home libraries
- PK Kelkar Library, IIT Kanpur (5)
Item types
- Books (5)
Series
Topics
- Categories (Mathematics) (2)
- Combinatory Logic (3)
- Combinatory logic (2)
- Proof Theory (3)

Your search returned 5 results.

Unhighlight Highlight

|

	1.	ALGEBRA OF PROOFS by Szabe, M. E. Material type: Book; Format: print ; Literary form: not fiction Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1). Add to cart (remove)
	2.	ALGEBRA OF PROOFS by Szabe, M. E. Material type: Book; Format: print ; Literary form: not fiction Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1). Place hold Add to cart (remove)
	3.	COMBINATORS, TERMS AND PROOF THEORY by Stenlund, Soren. Material type: Book; Format: print ; Literary form: not fiction Description: 184.Publisher: Dordrecht D. Reidel 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 St42c] (1). Place hold Add to cart (remove)
	4.	Combinatory logic : pure, applied and typed by Bimbo, Katalin. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 345p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B51c] (1). Place hold Add to cart (remove)
	5.	Combinatory logic by Curry, Haskell B. Material type: Book; Format: print ; Literary form: not fiction Description: 2 v.Publisher: Amsterdam North-Holland Publishing 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.2] (1). Place hold Add to cart (remove)

Powered by Koha