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

Your search returned 5 results. Subscribe to this search

|
1. COMBINATORY LOGIC

by Curry, Haskell B., Hindley, J.Roger | Seldin, Jonathan P.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.2] (1).

2. OUTLINES OF A FORMALIST PHILOSOPHY OF MATHEMATICS

by Curry, Haskell B.

Material type: book Book Publisher: North-Holland Publishing Company 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).

3. COMBINATORY LOGIC

by Curry, Haskell B.

Material type: book Book Publisher: North-Holland 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.1] (1).

4. Combinatory logic

by Curry, Haskell B | Feys , Robert | Craig, William | .

Description: xvi, 417p.Publisher: Amsterdam North-Holland Publishing Company 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9] (1).

5. Combinatory logic

by Curry, Haskell B.

Material type: book 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).

Powered by Koha