|
|
421.
|
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).
|
|
|
422.
|
LOGIC OF BIOCHEMICAL SEQUENCING
by Blackman,David S. Material type: Book Description: 168.Publisher: Crc Press, Boca Raton c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 572.65 B583L] (1).
|
|
|
423.
|
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).
|
|
|
424.
|
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).
|
|
|
425.
|
An Introduction to Non Classical Logic
by Priest,Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,242p.Publisher: Cambridge Cambridge Univ. Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933I] (1).
|
|
|
426.
|
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).
|
|
|
427.
|
LOGIC WORKS 4
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,419.Publisher: Addison Wesley,Menlo Park, Ca. 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 L828] (1).
|
|
|
428.
|
ADVANCED COMPUTER ARITHMETIC DESIGN
by Flynn,Michael J | Oberman,Stuart F. Material type: Book Description: xv,325.Publisher: John Wiley, New York c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.01513 F679A] (1).
|
|
|
429.
|
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).
|
|
|
430.
|
DIGITAL DESIGN AND COMPUTER ARCHITECTURE
by Harris,David Money | Harris,Sarah L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,569.Publisher: Elsevier, Amsterdam 2007Availability: No items available Checked out (1).
|
|
|
431.
|
MODEL AND TEMPORAL PROPERTIES OF PROCESSES
by Stirling,Colin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,190.Publisher: Springer-Verlag, New York 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 T314] (1).
|
|
|
432.
|
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).
|
|
|
433.
|
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).
|
|
|
434.
|
QUANTUM LOGIC IN ALGEBRAIC APPROACH
by Redei,Miklos. Material type: Book Description: x,238.Publisher: Kluwer Academic Publishers, Dordrecht c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.14301511324 R247Q] (1).
|
|
|
435.
|
LOGIC DESIGN
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv.Publisher: Crc Press, Boca Raton 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L828C] (1).
|
|
|
436.
|
VERILOG CODING FOR LOGIC SYNTHESIS
by Lee,Weng Fook. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv,309.Publisher: Wiley Interscience Pub.,New York 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 L494V] (1).
|
|
|
437.
|
TRANSCENDENTAL ARGUMENTS AND SCEPTICISM
by Stern,Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,261.Publisher: Clarendon Press, Oxford 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.2 ST45T] (1).
|
|
|
438.
|
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).
|
|
|
439.
|
Modal logic
by Blackburn, Patrick | Rijke, Maarten De | Venema, Yde. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 554p.Publisher: Cambridge Cambridge University Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.321 B562m] (1).
|
|
|
440.
|
PROOF THEORY OF MODAL LOGIC
by Heinrich Wansing | Wansing,Heinrich. Material type: Book Description: x,317.Publisher: Kluwer Academic Publishers, Dordrecht c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P945W] (1).
|
