|
1.
|
RECURSIVE ASPECTS OF DESCRIPTIVE SET THEORY
by Mansfield, Richard | Weitkamp, Galen. Material type: 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).
|
|
2.
|
AN INTRODUCTION TO STABILITY THEORY
by Pillay, Anand. Material type: 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).
|
|
3.
|
FORMAL NUMBER THEORY AND COMPUTABILITY
by Fisher, Alec. Material type: 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).
|
|
4.
|
Computability theory, semantics, and logic programming
by Fitting, Melvin. Material type: 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).
|
|
5.
|
FEATURES AND FLUENTS
by Sandewall,Erik. Material type: Book Description: xvii,328.Publisher: Clarendon Press, Oxford c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.352 SA56F] (1).
|
|
6.
|
REDUCTIVE LOGIC AND PROOF-SEARCH
by Pym,David J | Ritter,Eike. Material type: 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).
|
|
7.
|
INTERPOLATION AND DEFINABILITY
by Gabbay,D. M | Maksimova,L. Material type: 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).
|
|
8.
|
THE STRUCTURE OF MODELS OF PEANO ARITHMETIC
by Kossak,Roman | Schmerl,James H. Material type: 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).
|
|
9.
|
Change, choice and inference
: a study of belief revision and nonmonotonic reasoning
by Rott, Hans. Material type: 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).
|
|
10.
|
Set theory
: Boolean-valued models and independence proofs
by Bell, John L. Edition: 3rdMaterial type: 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).
|
|
11.
|
Sketches of an elephant [2v.]
: a topos theory compendium
by Johnstone, Peter T. Material type: 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).
|