|
|
141.
|
THE LOGICAL STATUS OF DIAGRAMS
by Shin,Sun-Joo. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi,197.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.33 SH63L] (1).
|
|
|
142.
|
PROBLEMS IN SET THEORY, MATHEMATICAL LOGIC AND THE THEORY OF ALGORITHMS
by Lavrov,Igor | Maksimova,Larisa. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,282.Publisher: Kluwer Academic / Plenum Publishers, New York 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 L399P] (1).
|
|
|
143.
|
HANDBOOK OF LOGIC IN COMPUTER SCIENCE
by Gabbay,Dov M | Maibaum,T S E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,537.Publisher: Clarendon Press,Oxford 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H191A] (1).
|
|
|
144.
|
KNOWLEDGE IN ACTION
by Reiter,Raymond. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,424.Publisher: The Mit Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 R278K] (1).
|
|
|
145.
|
HANDBOOK OF LOGIC IN COMPUTER SCIENCE
by Maibaum,T S E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,537.Publisher: Clarendon Press,Oxford 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H191A] (1).
|
|
|
146.
|
LOGIC FUNCTIONS AND EQUATIONS
by Posthoff,Christian | Steinbach,Bernd. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxix,392.Publisher: Springer, Aa Dordrecht 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P846L] (1).
|
|
|
147.
|
THE OXFORD HANDBOOK OF PHILOSOPHY OF MATHEMATICS AND LOGIC
by Shapiro,Stewart. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,833.Publisher: Oxford Univ. Pr., Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 OX2] (1).
|
|
|
148.
|
REASONING ABOUT UNCERTAINTY
by Halpern,Joseph Y. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,483.Publisher: The Mit Press, Cambridge 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.54 H163R] (1).
|
|
|
149.
|
LOGICALLY DETERMINED DESIGN
by Fant,Karl M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,292.Publisher: John Wiley & Sons Inc., New Jersey 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 F218L] (1).
|
|
|
150.
|
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE
by Rahman,Shahid. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,626.Publisher: Kluwer Academic Publishers,Aa Dordrecht 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 L829] (1).
|
|
|
151.
|
LOGICAL ENVIRONMENTS
by Huet,Gerard | Plotkin,Gordon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,338.Publisher: Cambridge Univ. Press, Cambridge 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1).
|
|
|
152.
|
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).
|
|
|
153.
|
Handbook of spatial logics
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,1058p.Publisher: Netherlands Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191a] (1).
|
|
|
154.
|
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).
|
|
|
155.
|
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).
|
|
|
156.
|
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).
|
|
|
157.
|
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).
|
|
|
158.
|
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).
|
|
|
159.
|
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).
|
|
|
160.
|
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).
|
