PKK Library

Your cart is empty.

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

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
1.
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

by (11th : Logic Colloquium Hannover, Germany) 1966 : | Schmidt, H. Arnold [ed.] | Schütte, K. [ed.] | Thiele, H. J. [ed.] | International Union of the History and Philosophy of Science.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 303p.Publisher: Amsterdam North-Holland 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.46] (1).

Place hold Add to cart
2.
LOGIC : FROM FOUNDATIONS TO APPLICATIONS

by Wilfrid Hodges | Hodges,Wilfrid.

Material type: book Book Description: xiii,536.Publisher: Clarendon Press, Oxford c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1).

Place hold Add to cart
3.
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
4.
Logic Colloquium : proceedings...

by Logic Colloquium New York 1988 | European Foundation for Logic, Language, and Information | Center for the Study of Language and Information (U.S.).

Material type: serial Continuing resource; Format: print Description: multi volumes.Publisher: Amsterdam : North-Holland Pub., 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829L 1988] (1).

Place hold Add to cart

Powered by Koha