|
|
81.
|
SYMBOLIC LOGIC AND THE REAL NUMBER SYSTEM
by Lightstone, A. H. Material type:  Book Description: 225.Publisher: N. Y. Harper & Row c1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.81 L626s] (1).
|
|
|
82.
|
ABSTRACT SETS AND FINITE ORDINALS
by Keene, Geoffrey Bourton. Material type: Book Description: 106.Publisher: Oxford Pergamon 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 K251a] (1).
|
|
|
83.
|
ELEMENTARY CONCEPTS OF MODERN MATHEMATICS
by Dinkines, Flora. Material type: Book Description: x, 457p.Publisher: N. Y. Apleton-Century-Crofts 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 D616e] (1).
|
|
|
84.
|
SET THEORY AND LOGIC
by Stoll, Robert Roth. Material type: Book Description: 474.Publisher: San Francisco W. H. Freeman 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 St68se] (1).
|
|
|
85.
|
PROOF IN GEOMETRY
by Fetisov, A. I | Lange, Luise. Material type: Book Description: 55.Publisher: Boston Heath 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 513.01 F431p] (1).
|
|
|
86.
|
INTRODUCTORY REAL ANALYSIS
by Munroe, Marshall Evans. Material type: Book Description: 198.Publisher: Reading, Mass. Addison-Wesley 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.52 M926i] (1).
|
|
|
87.
|
Elements of mathematical logic
by Lukasiewicz, Jan | Wojtasiewicz, Olgierd [tr.]. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 124p.Publisher: New York Macmillan 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L968E2E] (1).
|
|
|
88.
|
The axiomatic method
: an introduction to mathematical logic
by Lightstone, A. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 246p.Publisher: New Jersey Prentice-Hall 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L626A] (1).
|
|
|
89.
|
Elements of formal logic
by Kretzmann, Norman. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 243p.Publisher: New York Bobbs-Merrill 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 K886E] (1).
|
|
|
90.
|
TRUTH, SYNTAX AND MODALITY
by Leblanc, Hugues. Description: 317.Publisher: Amsterdam North-Holland Pub. Co. 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C76] (1).
|
|
|
91.
|
LOGIC COLLOQUIUM `78
by Boffa, Maurice | Dalen, Dirk Van | . Description: x,434.Publisher: Amsterdam North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829l] (1).
|
|
|
92.
|
PATRAS LOGIC SYMPOSION
by Metakides, George. Description: ix,391.Publisher: Amsterdam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829p] (1).
|
|
|
93.
|
Logic Colloquium '84
: proceedings...
by Paris, J.B [ed.] | Wilkie, A.J [ed.]. Description: x,377p.Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829] (1).
|
|
|
94.
|
Logic, methodology, and philosophy of science
: edited by L. Jonathan Cohen [et al.]
by 6th International Congress of logic, Methodology, and Philosophy of Science Amsterdam 1979 | Cohen, L. Jonathan [ed.] | Los, Jerzy | Pfeiffer, Helmut | Podewski, Klaus-Peter. Description: xiv,856p.Publisher: Amsterdmam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In8] (2).
|
|
|
95.
|
LOGIC COLLOQUIUM `81
by STERN, J. Description: xi,384.Publisher: Amsterdam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829L] (1).
|
|
|
96.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).
|
|
|
97.
|
An introduction to non-classical logic [2nd ed.]
: from If to Is
by Priest, Graham. Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1).
|
