PKK Library

Your cart is empty.

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

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
Hybrid logic and its proof-theory

by Brauner, Torben.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 231p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B738h] (1).

Place hold Add to cart
2.
Handbook of logic

by Houde, Roland | Fischer, Jerome J.

Material type: book Book Description: xviii, 156p.Publisher: Dubuque, Iowa Wm. C. Brown Company 1954Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H81h] (1).

Place hold Add to cart

Powered by Koha