PKK Library catalog › Results of search for 'au:"Barwise, Jon"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Barker-Plummer, Dave (1)
- Barwise, Jon (3)
- Barwise,Jon (2)
- Etchemendy, John (1)
- Etchemendy,John (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (7)
Home libraries
- PK Kelkar Library, IIT Kanpur (7)
Item types
- Books (6)
- Lost (1)
Series
- Bradford Books (1)
- Csli Lecture Notes (1)
- Csli Lecture Notes No.42 (1)
- Studies In Logic And The Foundations Of Mathematics (1)
Topics
- Computer Science (1)
- Cycles (1)
- Hypersets (1)
- Logic, Symbolic And Mathematical (1)
- Mathematical logic (1)
- Show more

	1.	HANDBOOK OF MATHEMATICAL LOGIC by Barwise, Jon. Material type: 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). Place hold Add to cart (remove)
	2.	HANDBOOK OF MATHEMATICAL LOGIC by Barwise, Jon [ed.]. Material type: 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). Place hold Add to cart (remove)
	3.	VICIOUS CIRCLES by Barwise,Jon,Moss,Lawrence. Material type: 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). Add to cart (remove)
	4.	HYPERPROOF FOR THE MACINTOSH by Barwise,Jon \| Etchemendy,John. Material type: 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). Place hold Add to cart (remove)
	5.	THE LIAR by Barwise,Jon \| Etchemendy,Jon. Material type: 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). Place hold Add to cart (remove)
	6.	Situations and attitudes by Barwise, Jon \| Perry, John. Material type: 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). Place hold Add to cart (remove)
	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). Place hold Add to cart (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics