|
|
241.
|
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).
|
|
|
242.
|
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).
|
|
|
243.
|
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).
|
|
|
244.
|
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).
|
|
|
245.
|
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).
|
|
|
246.
|
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).
|
|
|
247.
|
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).
|
|
|
248.
|
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).
|
|
|
249.
|
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).
|
|
|
250.
|
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).
|
|
|
251.
|
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).
|
|
|
252.
|
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).
|
|
|
253.
|
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).
|
|
|
254.
|
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).
|
|
|
255.
|
MATHEMATICAL LOGIC IN COMPUTER SCIENCE
by Domolki, B | Gergely, T | . Description: 758.Publisher: Amsterdam North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.302854 C698m] (1).
|
|
|
256.
|
Natural language understanding and logic programming
: proceedings ...
by International Workshop on Natural Language Understanding and Logic Programming Rennes, France 1984 | Dahl,Veronica [ed.] | Saint - Dizier, Patrick [ed.]. Description: xi, 243p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8n] (1).
|
|
|
257.
|
LOGIC IN COMPUTER SCIENCE Description: xi,361.Publisher: Washington, D. C. Computer Society Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sy68l] (1).
|
|
|
258.
|
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
by Vardi, Moshe Y. Description: viii,401.Publisher: Los Altos, Morgan Kaufmann c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C76t] (1).
|
|
|
259.
|
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).
|
|
|
260.
|
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).
|
