|
21.
|
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
by Barnes, Donald W | Mack, John M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 121.Publisher: New York Springer-Verlag 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B261a] (1).
|
|
22.
|
MATHEMATICAL LOGIC
by Abbinghaus, Heinz-Dieter | Thomas, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,216.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Eb17m] (1).
|
|
23.
|
HANDBOOK OF MATHEMATICAL LOGIC
by Barwise, Jon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,1165.Publisher: Amsterdam North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191] (1).
|
|
24.
|
THE L.D.J. BROUWER CENTENARY SYMPOSIUM
by Troelstra, A. S | Dalen, D. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,523.Publisher: Amsterdam North-Holland Pub. Company 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L968] (1).
|
|
25.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Malitz, Jerome. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,198.Publisher: New York Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M295i] (1).
|
|
26.
|
A COURSE IN MATHEMATICAL LOGIC
by Manin, Yu. I | Koblitz, Neal. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 286.Publisher: New York Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M314c] (1).
|
|
27.
|
FOUNDATIONS OF THE LOGICAL THEORY OF SCIENTIFIC KNOWLEDGE (COMPLEX LOGIC)
by Zinov'Ev, A. A | Blakeley, T. J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,300.Publisher: Dordrecht Reidel 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Z66oE] (1).
|
|
28.
|
THE MATHEMATICS OF INHERITANCE SYSTEMS
by Touretzky, David S. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 T645M] (1).
|
|
29.
|
Lecture notes in mathematics
: introduction to digital computer design:lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
by Homer, S | Odifreddi, Piergiorgio | Centro internazionale matematico estivo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 162 p.Publisher: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.534 R453s] (1).
|
|
30.
|
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).
|
|
31.
|
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).
|
|
32.
|
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).
(1 votes)
|
|
33.
|
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).
|
|
34.
|
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).
|
|
35.
|
MATHEMATICS ACROSS CULTURES
by Selin,Helaine | D'Ambrosio,Ubiratan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,479.Publisher: Kluwer Academic Publishers, Dordrecht 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M42] (1).
|
|
36.
|
SETS, LOGIC AND CATEGORIES.
by Cameron,Peter J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,176.Publisher: Springer-Verlag, London 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 C145S] (1).
|
|
37.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Gabbay,Dov M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,518.Publisher: Clarendon Press,Oxford 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192] (1).
|
|
38.
|
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).
|
|
39.
|
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).
|
|
40.
|
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).
|