PKK Library

Your cart is empty.

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

Your search returned 11 results. Subscribe to this search

Unhighlight Highlight
|
1.
RECURSIVE ASPECTS OF DESCRIPTIVE SET THEORY

by Mansfield, Richard | Weitkamp, Galen.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,144.Publisher: New York Oup 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 M317r] (1).

Place hold Add to cart
2.
AN INTRODUCTION TO STABILITY THEORY

by Pillay, Anand.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,146.Publisher: Oxford Clarendon 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P644i] (1).

Place hold Add to cart
3.
FORMAL NUMBER THEORY AND COMPUTABILITY

by Fisher, Alec.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,190.Publisher: Oxford Clarendon 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F531f] (1).

Place hold Add to cart
4.
Computability theory, semantics, and logic programming

by Fitting, Melvin.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 198p.Publisher: New York Oxford University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F564c] (1).

Place hold Add to cart
5.
FEATURES AND FLUENTS

by Sandewall,Erik.

Material type: book Book Description: xvii,328.Publisher: Clarendon Press, Oxford c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.352 SA56F] (1).

Place hold Add to cart
6.
REDUCTIVE LOGIC AND PROOF-SEARCH

by Pym,David J | Ritter,Eike.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,208.Publisher: Clarendon Press, Oxford 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P994R] (1).

Place hold Add to cart
7.
INTERPOLATION AND DEFINABILITY

by Gabbay,D. M | Maksimova,L.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,508.Publisher: Clarendon Press, Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G111I] (1).

Place hold Add to cart
8.
THE STRUCTURE OF MODELS OF PEANO ARITHMETIC

by Kossak,Roman | Schmerl,James H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,311.Publisher: Clarendon Press, Oxford 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K847S] (1).

Place hold Add to cart
9.
Change, choice and inference : a study of belief revision and nonmonotonic reasoning

by Rott, Hans.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 381p.Publisher: Oxford Clarendon Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.6 R747c] (1).

Place hold Add to cart
10.
Set theory : Boolean-valued models and independence proofs

by Bell, John L.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: viii, 191p.Publisher: Oxford Calarendon Press 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 B413s3] (1).

Place hold Add to cart
11.
Sketches of an elephant [2v.] : a topos theory compendium

by Johnstone, Peter T.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2v. (various pagings).Publisher: Oxford Clarendon Press 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.55 J65s] (2).

Place hold Add to cart

Powered by Koha