Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 1149 results. Subscribe to this search

|
1. Dictionary of symbols and mathematical logic

by Feys, Robert [ed.] | Fitch, Frederic B. [ed.].

Material type: book Book; Literary form: Description: 171p.Publisher: Amsterdam North-Holland pub. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164.03 F438d ] (1).

2. PROGRAMS FROM DECISION TABLES

by Humby, E.

Material type: book Book; Format: print ; Literary form: not fiction Description: 91.Publisher: London Macdonald 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H881] (1).

3. Elements of mathematical logic (model theory)

by Kreisel, G | Krivine, J. L.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 222p.Publisher: Amsterdam North-Holland Publishing 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 K895EE] (1).

4. A history of the corruptions of logic : an inaugural lecture

by Geach, P. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: 22p.Publisher: Leeds Leeds University Press 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.9 G26H] (1).

5. IMPERATIVE AND THEIR LOGICS

by Moutafakis, Nicholas J.

Material type: book Book; Format: print ; Literary form: not fiction Description: 216.Publisher: New Delhi Sterling Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M868] (1).

6. INTRODUCTION TO SYMBOLIC LOGIC

by Pollock, John L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Holt, Rinehart And Winston, Inc. 1969Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 P765I] (1).

7. The development of the logical method in ancient china

by Hu, Shih.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: 187p.Publisher: New York Paragon Book Co. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.11 H86d2] (1).

8. MATHEMATICAL LOGIC

by Steen, S. W. P.

Material type: book Book; Format: print ; Literary form: not fiction Description: 638.Publisher: Cambridge University Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St32] (1).

9. American mathematical society translations

by U. S. A. American Mathematical Society.

Material type: book Book; Format: print ; Literary form: not fiction Description: 316p.Publisher: Rhode Island American Mathematical Society 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.6 Am3t v.100] (1).

10. Computer Logic : the functional design of digital computers.

by Flores, Ivan.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 458p.Publisher: London Prentice-Hall Inc. 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 F663C] (2). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 F663C] (2).

11. MATHEMATICAL LOGIC

by Monk, James Donald.

Material type: book Book; Format: print ; Literary form: not fiction Description: 581.Publisher: Berlin Springer-Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M749m] (1).

12. ELEMENTARY INDUCTION ON ABSTRACT STRUCTURES

by Moschovakis, Yiannis N.

Material type: book Book; Format: print ; Literary form: not fiction Description: 218.Publisher: Amsterdam North-Holland Pub. 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M851] (1).

13. INTRODUCTION TO MATHEMATICAL LOGIC

by Hermes, Hans | Schmidt, Diana.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Berlin Springer-Verlag 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H428eE] (1).

14. LOGIC AND THE NATURE OF REALITY

by Kattsoff, Louis O.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Publisher: The Hague Martinus Nijhoff 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 111 K159L2] (1).

15. Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

by (11th : Logic Colloquium Hannover, Germany) 1966 : | Schmidt, H. Arnold [ed.] | Schütte, K. [ed.] | Thiele, H. J. [ed.] | International Union of the History and Philosophy of Science.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 303p.Publisher: Amsterdam North-Holland 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.46] (1).

16. Readings on logic

by Copi, Irving M | Gould, James A.

Material type: book Book; Format: print ; Literary form: not fiction Description: iv, 316p.Publisher: New York Macmillan 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.82 C791r] (1).

17. A modern introduction to indian logic

by Barlingay, S.S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 238p.Publisher: Delhi National Publishing House 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.954 B249m] (3).

18. MARGINS OF PRECISION

by Black, Max.

Material type: book Book; Format: print ; Literary form: not fiction Description: 277.Publisher: Ithaca Cornell Univ. Press 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B561] (1).

19. LOGIC MATTERS

by Geach, P. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: 335.Publisher: Oxford Basil Blackwell 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G26] (1).

20. Logic, methodology and philosophy of science III : proceedings of the Third international congress for logic, methodology and philosophy of science, Amsterdam 1967

by (3rd International congress for logic, methodology and philosophy of science Amsterdam, Netherlands 1967 | Rootselaar, B. Van [ed.] | Staal, Frits F. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 553p.Publisher: Amsterdam North-Holland Publishing 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 IN8L] (2).

Powered by Koha