|
|
241.
|
ALGEBRAIC LOGIC
by Halmos, Paul Richard. Material type:  Book Description: 271.Publisher: N. Y. Chelsea 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 H162a] (1).
|
|
|
242.
|
LA STRUCTURE ALGEBRIQUE DES THEORIES MATHEMATIQUES
by Henkin, Leon. Material type: Book Description: 52.Publisher: Paris Gauthier-Villars 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 H38s] (1).
|
|
|
243.
|
LATTICE TO LOGIC
by Dubisch, Roy. Material type: Book Description: 88.Publisher: N. Y. Blaisdell Pub. Co. 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.865 D852L] (1).
|
|
|
244.
|
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).
|
|
|
245.
|
TOPICS IN ENGINEERING LOGIC
by Nadler, Morton. Material type: Book Description: 231.Publisher: N. Y. Macmillan 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 681.142 N126t] (1).
|
|
|
246.
|
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).
|
|
|
247.
|
Propositional calculus
by Nidditch, P.H. Material type: Book Description: viii, 83p.Publisher: New York The Free Press Of Glencoe 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 N549p] (1).
|
|
|
248.
|
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).
|
|
|
249.
|
PROBABILITIES AND THE LOGIC OF RATIONAL BELIEF
by Kyburg,Henery E. Material type: Book Description: viii,346.Publisher: c1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 K981P] (1).
|
|
|
250.
|
Elementary logic
by Mates, Benson. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 227p.Publisher: New York Oxford University Press 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 M419E] (1).
|
|
|
251.
|
LOGIC FOR MATHEMATICIANS
by Rosser,J. Barkley. Material type: Book Description: xiv,530.Publisher: Mcgraw-Hill, New York c1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 R73L] (1).
|
|
|
252.
|
LOGIC FOR MATHEMATICIANS
by Rosser,J. Barkley. Material type: Book Description: xiv,530.Publisher: Mcgraw-Hill, New York c1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 R73L] (1).
|
|
|
253.
|
Vorlesungen über die Algebra der Logik
: exakte Logik
by Schroder, Ernst | Luroth, Jakob | Muller, Karl Eugen. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 3v.Publisher: New York Chelsea Publishing 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 Sch75v 1966 ] (3).
|
|
|
254.
|
Algebraic methods of mathematical logic
by Rieger, Ladislav | Basch, Michael [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 210p.Publisher: New York Academic Press 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 R443A] (1).
|
|
|
255.
|
Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957
by | Institute For Defense Analyses | American Mathematical Society. Material type: Book Description: 427p.Publisher: 2nd Institute For Defense Analyses 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164.082 Su64s2] (1).
|
|
|
256.
|
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).
|
|
|
257.
|
Logic
: techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Description: viii, 350p.Publisher: New York Harcourt 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 K125l] (1).
|
|
|
258.
|
Logic and data bases
by Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977. | Gallaire, Hervé | Minker, Jack. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 458 p.Publisher: New York : Plenum Press, c1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sy68L] (1).
|
|
|
259.
|
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).
|
|
|
260.
|
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).
|
