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

Your search returned 7 results. Subscribe to this search

|
1. HANDBOOK OF MATHEMATICAL LOGIC

by Barwise, Jon.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,1165.Publisher: Amsterdam North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191] (1).

2. HANDBOOK OF MATHEMATICAL LOGIC

by Barwise, Jon [ed.].

Material type: book Book; Literary form: Description: 1165p.Publisher: Amsterdam North Holland 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.37 H191] (1).

3. VICIOUS CIRCLES

by Barwise,Jon,Moss,Lawrence.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,390.Publisher: Center For The Study Of Language & Inf.,Stanford 1996Availability: No items available Withdrawn (1).

4. 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).

5. THE LIAR

by Barwise,Jon | Etchemendy,Jon.

Material type: book Book Description: xii,194.Publisher: Oxford Univ. Pr., New York c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 165 B289L] (1).

6. Situations and attitudes

by Barwise, Jon | Perry, John.

Material type: book Book Description: xxii, 352p.Publisher: Cambridge The MIT Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 149.946 B289s] (1).

7. Language, proof and logic

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

Edition: 2nd ed. Description: xiii, 606p.Publisher: California CSLI 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B241l2] (1).

Powered by Koha