|
|
501.
|
Handbook of quantum logic and quantum structures
by . Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvi, 801p.Publisher: Amsterdam Elsevier 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12015113 H192e] (1).
|
|
|
502.
|
The mathematics of logic
by Kaye, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 204p.Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K182m] (1).
|
|
|
503.
|
Logic in Computer Science
: Modelling and Reasoning about Systems
by Huth M | Ryan M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 387p.Publisher: Cambridge Cambridge University Press 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 H971L] (1).
|
|
|
504.
|
Digital design
by Karim, Mohammad A | Chen, Xinghao. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 490p.Publisher: Boca Raton Crc Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 K146d] (1).
|
|
|
505.
|
A concise introduction to logic [9th ed.]
by Hurley, Patrick J. Edition: 9th ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 656p.Publisher: Australia Thomson, Wadsworth 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H939c9 cop.1] (5).
|
|
|
506.
|
Temporal logic and state systems
by Kroger, Fred | Merz, Stephan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 433p.Publisher: Berlin Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 K914t] (1).
|
|
|
507.
|
A course on mathematical logic
by Srivastava, S. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 140 p.Publisher: New York Springer 2008Availability: No items available Checked out (1).
|
|
|
508.
|
Logical properties
: identity, existence, predication, necessity, truth
by Mcginn, Colin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 114 p.Publisher: Oxford Clarendon Press 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M175l] (1).
|
|
|
509.
|
Advances in modal logic v.3
by Wolter, Frank, ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 415p.Publisher: New Jersey World Scientific 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 Ad95] (3).
|
|
|
510.
|
An introduction to many valued and fuzzy logic
: semantics, algebras, and derivation systems
by Bergmann, Merrie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 329p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.313 B454a] (1).
|
|
|
511.
|
Assertion and conditionals
by Appiah, Anthony. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,265p.Publisher: Cambridge Cambridge University Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 Ap49a] (1).
|
|
|
512.
|
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).
|
|
|
513.
|
Dynamic epistemic logic
by Ditmarsch, Hans Van | Hoek, Wiebe Van Der. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,282p.Publisher: Netherlands Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 D635d] (1).
|
|
|
514.
|
Digital design and verilog HDL fundamentals
by Cavanagh, Joseph. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 1147p.Publisher: Boca Raton Crc Press 2008Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.395 C314] (1).
|
|
|
515.
|
Handbook of quantum logic and quantum structures
: quantum logic
by | Engesser, Kurt, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 715p.Publisher: Amsterdam Elsevier 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12015113 H191] (1).
|
|
|
516.
|
Logic
: a very short introduction
by Priest, Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 128p.Publisher: New Delhi Oxford University Press 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 P933l] (1).
|
|
|
517.
|
Hume's problem
: induction and the justification of belief
by Howson, Colin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 261p.Publisher: Oxford Clarendon Press 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 161 H849h] (1).
|
|
|
518.
|
Informal logic
: a pragmatic approach
by Walton, Douglas. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 347p.Publisher: Cambridge Cambridge Univ. Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 168 W173i2] (1).
|
|
|
519.
|
Many dimensional modal logics
: theory and applications
by Gabbay, D. M | Kurucz, A | Wolter, F | Zakharyaschev, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 747p.Publisher: Amsterdam Elsevier 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M319] (1).
|
|
|
520.
|
After Euclid
: visual reasoning and the epistemology of diagrams
by Norman, Jesse. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 176p.Publisher: California Csli Publications 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 N784a] (1).
|
