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

Your search returned 2 results. Subscribe to this search

|
1. HYPERPROOF FOR THE MACINTOSH

by Barwise,Jon | Etchemendy,John.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii,255.Publisher: Center For The Study Of Language And Information 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.2855369 B289H] (1).

2. Language, proof and logic

by Barker-Plummer, Dave | Barwise, Jon | Etchemendy, John.

Edition: 2nd ed. Description: xiii, 606p.Publisher: California CSLI 2011Availability: No items available Checked out (1).

Powered by Koha