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

Your search returned 305 results. Subscribe to this search

|
1. 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).

2. 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).

3. 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).

4. 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).

5. 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).

6. 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).

7. Prototractatus : an early version of Tractatus logico-philosophicus

by Wittgenstein, Ludwig | McGuinness, B. F. [ed.] | Nyberg, T. [ed.] | Von Wright, G. H. [ed.] | Pears, D. F. [tr.] | McGuinness, B. F. [tr.].

Material type: book Book; Format: print ; Literary form: not fiction Description: v, 256p 160 plates.Publisher: London Routledge and K. Paul 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 W784 COP.2] (1).

8. AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS

by Bach, Emmon W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).

9. AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS

by Bach, Emmon W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).

10. AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS

by Bach, Emmon W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).

11. STUDIES IN CONSTRUCTIVE MATHEMATICS AND MATHEMATICAL LOGIC

by Slisenko, A. O.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.1.Publisher: N. Y. Consultants Bureau 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 SL37s] (1).

12. STUDIES IN CONSTRUCTIVE MATHEMATICS AND MATHEMATICAL LOGIC

by Slisenko, A. O.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.2.Publisher: N. Y. Consultants Bureau 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 SL37s] (1).

13. Studies in constructive mathematics and mathematical logic

by Slisenko, A. O. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 97p.Publisher: New York Consultants Bureau 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 Sl37s] (1).

14. AN INTRODUCTION TO MODERN MATHEMATICS

by Monjallon, Albert | Fantham, Peter.

Material type: book Book; Format: print ; Literary form: not fiction Description: 226.Publisher: Edinburgh Oliver And Boyd 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 M749iE] (1).

15. FOUNDATIONS OF MATHEMATICS

by Bulloff, Jack J | Hahn, S. W.

Material type: book Book Description: xii,195.Publisher: Berlin Heidelberg c1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 F825] (1).

16. FOUNDATIONS OF MATHEMATICS

by Hatcher, William S.

Material type: book Book Description: xiii,327.Publisher: Philadelphia W. B. Saunders Co. c1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 H282f] (1).

17. GRUNDLAGEN DER MATHEMATIK

by Hilbert, David | Bernays, Paul.

Material type: book Book Description: 2 v.Publisher: Berlin J. Springer 1934-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 H54] (1).

18. MEANING AND EXISTENCE IN MATHEMATICS

by Castonguay, Charles.

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

19. MEANING AND EXISTENCE IN MATHEMATICS

by Castonguay, Charles.

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

20. DEVELOPMENT OF MATHEMATICAL LOGIC

by Goodstein, R. L.

Material type: book Book; Format: print ; Literary form: not fiction Description: 150.Publisher: London Logos Press 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G629] (1).

Powered by Koha