|
|
121.
|
DESCRIPTIVE COMPLEXITY
by Immerman,Neil. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvi,268.Publisher: Springer-Verlag,New York 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 IM6D] (1).
|
|
|
122.
|
UNDERSTANDING SYMBOLIC LOGIC
by Klenk,Verginia. Edition: 4thMaterial type: Book Description: xv,447.Publisher: Prentice Hall, New Jersey c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K677U4] (1).
|
|
|
123.
|
MATHEMATICAL INTRODUCTION TO LOGIC
by Enderton,Herbert B. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xii,317.Publisher: Harcourt Academic Press, San Diego 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 EN21M2] (1).
|
|
|
124.
|
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).
|
|
|
125.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Dov M. Gabbay,C. J. Hogger,J. A. Robinson | Robinson,J. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,511.Publisher: Clarendon Press, Oxford 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192G] (1).
|
|
|
126.
|
PREDICATE LOGIC.
by Epstein,Richard L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 412.Publisher: Wadsworth/Thomson Learning, Australia 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 EP85P] (1).
|
|
|
127.
|
LOGIC AT WORK
by Ewa Orlowska | Orlowska,Ewa. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,694.Publisher: Physica Verlag Gmbh, Heidelberg 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L828] (1).
|
|
|
128.
|
MATHEMATICS ACROSS CULTURES
by Selin,Helaine | D'Ambrosio,Ubiratan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,479.Publisher: Kluwer Academic Publishers, Dordrecht 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M42] (1).
|
|
|
129.
|
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
by Zhongwan,Lu. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xi,244.Publisher: World Scientific, Singapore 1998Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Z61M2] (1).
|
|
|
130.
|
PROPOSITIONAL LOGICS
by Epstein,Richard L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 479.Publisher: Wadsworth/Thomson Learning, Australia 2001Availability: No items available Checked out (1).
|
|
|
131.
|
SETS, LOGIC AND CATEGORIES.
by Cameron,Peter J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,176.Publisher: Springer-Verlag, London 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 C145S] (1).
|
|
|
132.
|
HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE
by Dov M Gabbay,No | Gabbay,Dov M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,498.Publisher: Elsevier, Amsterdam 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191G] (1).
|
|
|
133.
|
MATHEMATICAL LOGIC
by Cori,Rene | Lascar,Daniel. Material type: Book Description: xx,331,pt -2.Publisher: Oxford Univ. Pr., New York c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C813M] (1).
|
|
|
134.
|
PARADOX AND PARACONSISTENCY
by Woods,John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,362.Publisher: Cambridge Univ. Press, Cambridge 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 W861P] (1).
|
|
|
135.
|
MATHEMATICAL LOGIC
by Cori,Rene | Pelletier,Daniel. Material type: Book Description: xix,338,pt-1.Publisher: Oxford Univ. Pr., New York c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C813M] (1).
|
|
|
136.
|
UNCERTAIN REASONER'S COMPANION
by Paris,J. B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,212.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P219U] (1).
|
|
|
137.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Dov M. Gabbay,C. J. Hogger,J. A. Robinson | Robinson,J. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,799.Publisher: Clarendon Press, Oxford 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192] (1).
|
|
|
138.
|
LOGIC-BASED METHODS FOR OPTIMIZATION
by Hooker,John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,495.Publisher: John Wiley, New York 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 H764L] (1).
|
|
|
139.
|
LECTURES IN LOGIC AND SET THEORY
by Tourlakis,George. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,575.Publisher: Cambridge Univ. Press, Cambridge 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T646L] (1).
|
|
|
140.
|
LECTURES ON MATHEMATICAL LOGIC
by Felscher,Walter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,282.Publisher: Gordon And Breach Science Publishers, Australia 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F338L] (1).
|
