|
|
161.
|
ADVANCES IN LOGIC BASED INTELLIGENT SYSTEMS
by Nakamatsu,Kazumi | Abe,Jair Minoro. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi,289.Publisher: Ios Press, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 AD95] (1).
|
|
|
162.
|
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).
|
|
|
163.
|
THE STRUCTURE OF MODELS OF PEANO ARITHMETIC
by Kossak,Roman | Schmerl,James H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,311.Publisher: Clarendon Press, Oxford 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K847S] (1).
|
|
|
164.
|
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).
|
|
|
165.
|
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).
|
|
|
166.
|
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).
|
|
|
167.
|
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).
|
|
|
168.
|
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).
|
|
|
169.
|
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).
|
|
|
170.
|
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).
|
|
|
171.
|
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).
|
|
|
172.
|
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).
|
|
|
173.
|
Logical dynamics of information and interaction
by Benthem, Johan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 373p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B445l] (1).
|
|
|
174.
|
Symbolic model checking
by Mcmillan, Kenneth L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 194p.Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M459s] (1).
|
|
|
175.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
|
176.
|
Graph structure and monadic second-order logic
: a language-theoretic approach
by Courcelle, Bruno | Engelfriet, Joost. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 728p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C833g] (1).
|
|
|
177.
|
Handbook of mathematical induction
: theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 893p.Publisher: Boca Raton Crc Press 2011Availability: No items available Checked out (1).
|
|
|
178.
|
Logic and structure
by Dalen, Dirk Van. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: x, 263p.Publisher: London Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D156l5] (1).
|
|
|
179.
|
Logical foundations of mathematics and computational complexity
: a gentle introduction
by Pudlak, Pavel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 695p.Publisher: Cham Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P962l] (1).
|
|
|
180.
|
Elements of logical reasoning
by Plato, Jan Von. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 264p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P697e] (1).
|
