|
|
101.
|
A FORMALIZATION OF SET THEORY WITHOUT VARIABLES
by Tarski, Alfred | Givant, Steven. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xxi,318.Publisher: Providence, R. I. American Mathematical Society 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 T177f] (1).
|
|
|
102.
|
LANGUAGE IN ACTION
by Van Benthem, Johan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,349.Publisher: Amsterdam North-Holland 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 V26L] (1).
|
|
|
103.
|
TOPOLOTY VIA LOGIC
by Vickers, Steven. Material type: Book Description: 200.Publisher: Cambridge Cambridge Univ. Pr. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514 V663t] (1).
|
|
|
104.
|
AN INTRODUCTION TO HILBERT SPACE AND QUANTUM LOGIC
by Cohen, David W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,149.Publisher: New York Springer Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.733 C66i] (1).
|
|
|
105.
|
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
by Manna, Zohar | Waldinger, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1).
|
|
|
106.
|
HOW TO PROVE IT
by Velleman,Daniel J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,309.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 V545H] (1).
|
|
|
107.
|
INTRODUCTION TO HOL
by Gordon, M. J. C | Melham, T. F. Material type: Book Description: xi,472.Publisher: Cambridge Cambridge Univ. Press c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 In8] (1).
|
|
|
108.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
|
109.
|
PREDICATE TRANSFORMER SEMANTICS
by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1).
|
|
|
110.
|
LOGIC-BASED DECISION SUPPORT
by Jeroslow, Robert G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,222.Publisher: Amsterdam North-Holland 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.403 J484L] (1).
|
|
|
111.
|
EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE
by Meyer,J.-J. Ch | Van Der Hoek,W. Material type: Book Description: xiii,354.Publisher: Cambridge Univ. Press, Cambridge c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M575E] (1).
|
|
|
112.
|
LOGIC
: FROM FOUNDATIONS TO APPLICATIONS
by Wilfrid Hodges | Hodges,Wilfrid. Material type: Book Description: xiii,536.Publisher: Clarendon Press, Oxford c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1).
|
|
|
113.
|
LOGIC FOR APPLICATIONS
by Nerode,Anil, Shore,Richard A | Schneider,Fred B. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,456.Publisher: Springer-Verlag,New York 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1015113 N358L2] (1).
|
|
|
114.
|
SEMANTICS AND LOGICS OF COMPUTATION
by Andrew M. Pitts,Peter No Dybjer | Dybjer,Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,361.Publisher: Cambridge Univ. Press, Cambridge 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 SE52P] (1).
|
|
|
115.
|
LOGIC AS ALGEBRA
by Halmos,Paul | Givant,Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,141.Publisher: Mathematical Association Of America, New York 1998Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H162L] (1).
|
|
|
116.
|
LOGICAL AND MATHEMATICAL METHODS FOR IBM MICROCOMPUTERS
by Sanchez,Julia. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,458.Publisher: Crc Press, Boca Raton, Fl. 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.165 SA55L] (1).
|
|
|
117.
|
GEOMETRIC CALCULUS
by Peano,Giuseppe | Kannenberg,Lloyd C. Material type: Book Description: xv,150.Publisher: Birkhauser, Boston c2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.5 P313GE] (1).
|
|
|
118.
|
A FIRST COURSE IN LOGIC
by Hedman,Shawn. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,431.Publisher: Oxford Univ. Pr., Oxford 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H359F] (1).
|
|
|
119.
|
DESCRIPTIVE COMPLEXITY
by Immerman,Neil. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,268.Publisher: Springer-Verlag,New York 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 IM6D] (1).
|
|
|
120.
|
UNDERSTANDING SYMBOLIC LOGIC
by Klenk,Verginia. Edition: 4thMaterial type: Book Description: xv,447.Publisher: Prentice Hall, New Jersey c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K677U4] (1).
|
