PKK Library

Your cart is empty.

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

Your search returned 5 results. Subscribe to this search

Unhighlight Highlight
|
1.
COMBINATIORIAL FUNCTORS

by Crossley, J. N | Nevode, Anil.

Material type: book Book; Format: print ; Literary form: not fiction Description: 146.Publisher: Berlin Springer-Verlag 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.925 C884] (1).

Place hold Add to cart
2.
WHAT IS MATHEMATICAL LOGIC

by Crossley, J. N.

Material type: book Book; Format: print ; Literary form: not fiction Description: 82.Publisher: London Oxford University Press 1972Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 W556] (1).

Add to cart
3.
PROOF THEORY

by Schutte, Kurt | Crossley, J. N.

Material type: book Book; Format: print ; Literary form: not fiction Description: 302.Publisher: Berlin Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sch86] (1).

Place hold Add to cart
4.
THE EMERGENCE OF NUMBER

by Crossley,J N.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,222.Publisher: World Scientific, Singapore 1987Availability: No items available Checked out (1).

Place hold Add to cart
5.
FORMAL SYSTEMS AND RECURSIVE FUNCTIONS : proceedings

by 8th Logic Colloquium Oxford July 1963 | Dummett, M.A.E.[ed.] Crossley, J.N.[ed.].

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

Place hold Add to cart

Powered by Koha