|
|
521.
|
Logics of time and computation
by Goldblatt, Robert. Edition: 2nd rev. and expandedMaterial type:  Book; Format:
print
; Literary form:
not fiction
Description: ix, 180p.Publisher: Menlo Park Csli 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G564l2] (1).
|
|
|
522.
|
Algebraic foundations of many-valued reasoning
by Cignoli, Roberto L.O | D'Ottaviano, Itala M.L | Mundici, Daniele. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 231p.Publisher: Dordrecht Kluwer Academic Publishers 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C488a] (1).
|
|
|
523.
|
Logic for beginners
by Bahm, Archie J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 95p.Publisher: Boston Student Outline Company 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B148l] (1).
|
|
|
524.
|
Routledge philosophy guidebook to Wittgenstein and the Tractatus
: logico-philosophicus
by Morris, Michael. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 401p.Publisher: London Routledge 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 M833r] (1).
|
|
|
525.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 469p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M522i5] (1).
|
|
|
526.
|
First order mathematical logic
by Margaris, Angelo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 211p.Publisher: New York Dover Publications 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M336f cop.1] (2).
|
|
|
527.
|
The development of modern logic
by | Haaparanta, Leila, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 993p.Publisher: Oxford Oxford University Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.9 D492] (1).
|
|
|
528.
|
Diamond
: a paradox logic
by Hellerstein, N.S. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 294p.Publisher: New Jersey World Scientific 2010Availability: No items available Checked out (1).
|
|
|
529.
|
Cognitive reasoning
: a formal approach
by Anshakov, Oleg | Gergely, Tamas. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 437p.Publisher: Heidelberg Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 An82c] (1).
|
|
|
530.
|
Aspects of aristotle`s logic of modalities
by Rijen, Jeroen Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 238p.Publisher: Dordrecht Kluwer Academic Publishers 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 R449a] (1).
|
|
|
531.
|
The logic manual
by Halbach, Volker. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 194p.Publisher: Oxford Oxford University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H128l] (1).
|
|
|
532.
|
Mathematical aspects of logic programming semantics
by Hitzler, Pascal | Seda, Anthony. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 274p.Publisher: Boca Raton CRC 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 H639m] (1).
|
|
|
533.
|
Aspects of mathematical logic
: lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968)
by | Casari, E., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 285p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.9 C738] (1).
|
|
|
534.
|
Counterfacuals
by Lewis, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 156p.Publisher: Oxford Basil Blackwell 1973Availability: No items available Checked out (1).
|
|
|
535.
|
Logic and philosophy
: a modern introduction
by Hausman, Alan | Kahane, Howard. Edition: 11thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 434p.Publisher: Australia Wadsworth 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H295l11] (1).
|
|
|
536.
|
Combinatory logic
: pure, applied and typed
by Bimbo, Katalin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 345p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B51c] (1).
|
|
|
537.
|
Rationality and logic
by Hanna, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 316p.Publisher: Cambridge The Mit Press 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128.33 H195r] (1).
|
|
|
538.
|
Modality
: metaphysics, logic, and epistemology
by | Hale, Bob, Ed | Hoffmann, Aviv, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 363p.Publisher: Oxford Oxford University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M72] (1).
|
|
|
539.
|
Logic and its applications
: proceedings...
by Banerjee, Mohua, Ed | 4th Indian Conference on Logic and its Applications Delhi 2011 | Banerjee, Mohua, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 218p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In24] (1).
|
|
|
540.
|
After Godel
: Platonism and rationalism in mathematics and logic
by Tieszen, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 245p.Publisher: Oxford Oxford University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3092 T445a] (1).
|
