|
|
201.
|
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).
|
|
|
202.
|
DICTIONARY OG LOGICAL TERMS AND SYMBOLS
by Greenstein, Carol Horn. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,188.Publisher: New York Van Nostrand 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.303 G854d] (1).
|
|
|
203.
|
MATHEMATICAL FOUNDATIONS OF PROGRAMMING
by Backman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
|
204.
|
MATHEMATICAL FOUNDATIONS OF PROGRAMMING
by Backman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
|
205.
|
Mathematical foundations of programming
by Beckman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443p.Publisher: Reading, Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
|
206.
|
LOGIC FOR PROBLEM SOLVING
by Kowalski, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 287.Publisher: New York North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 K849L] (1).
|
|
|
207.
|
BOOLE'S LOGIC LAND PROBABILITY
by Hailperin, Theodore. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 245.Publisher: Amsterdam North-Holland Pub. Co. 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.2 H126b] (1).
|
|
|
208.
|
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).
|
|
|
209.
|
Navya nyaya system of logic
: basic theories and techniques
by Guha, Dinesh Chandra. Edition: 2nd rev.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 271p.Publisher: Delhi Motilal Banarsidass 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.43 G939n2] (1).
|
|
|
210.
|
LOGIC OF TIME
by Benthem, J. F. A. K. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,260.Publisher: Dordrecht D. Reidel 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 115 B445L] (1).
|
|
|
211.
|
ELEMENTS OF INDIAN LOGIC AND EPISTEMOLOGY
by Bhattacharya, Chandrodaya. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,272.Publisher: Calcutta Modern Book Agency 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.4 B469e3] (1).
|
|
|
212.
|
ELEMENTS OF INDIAN LOGIC AND EPISTEMOLOGY
by Bhattacharya, Chandrodaya. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,272.Publisher: Calcutta Modern Book Agency 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.4 B469e3] (1).
|
|
|
213.
|
ELEMENTS OF INDIAN LOGIC AND EPISTEMOLOGY
by Bhattacharya, Chandrodaya. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,272.Publisher: Calcutta Modern Book Agency 1975Availability: No items available Damaged (1).
|
|
|
214.
|
ELEMENTS OF INDIAN LOGIC AND EPISTEMOLOGY
by Bhattacharya, Chandrodaya. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,272.Publisher: Calcutta Modern Book Agency 1975Availability: No items available Damaged (1).
|
|
|
215.
|
ELEMENTS OF INDIAN LOGIC AND EPISTEMOLOGY
by Bhattacharya, Chandrodaya. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,272.Publisher: Calcutta Modern Book Agency 1975Availability: No items available Damaged (1).
|
|
|
216.
|
METAPHYSICS OF MODALITY
by Forbes, Graeme. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,257.Publisher: Oxford Clarendon Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 111.1 F743m] (1).
|
|
|
217.
|
HUSSERL AND INTENTIONALITY
by Smith, David Woodruff | Mcintyre, Ronald. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,423.Publisher: Dordrecht D. Reidel 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128.2 Sm54h] (1).
|
|
|
218.
|
HUSSERL AND INTENTIONALITY
by Smith, David Woodruff | Mcintyre, Ronald. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,423.Publisher: Dordrecht D. Reidel 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128.2 Sm54h] (1).
|
|
|
219.
|
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
by O'Donnell, Michael J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1).
|
|
|
220.
|
Temporal logic of programs
by Kroger, Fred. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).
|
