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

Your search returned 1149 results. Subscribe to this search

|
601. WHEWELL'S PHILOSOPHY OF INDUCTION

by Stoll, Marion Rush.

Material type: book Book Description: 125.Publisher: Lancaster, Pa. Lancaster Press, Inc. 1929Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 W572zs] (1).

602. LOGIC AND KNOWLEDGE

by Russell, Bertr | Russell.

Edition: 3d earlMaterial type: book Book Description: 382.Publisher: London Allen & Unwin 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.9 R91L] (1).

603. LOGIC AND KNOWLEDGE

by Russell, Bertr | Russell.

Edition: 3d earlMaterial type: book Book Description: 382.Publisher: London Allen & Unwin 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.9 R91L] (1).

604. GESCHICHTE DER SPRACHWISSENSCHAFT BEIDEN GRIECHEN UND ROMERN

by Steinthal, Heymann.

Material type: book Book Description: 2 v.1.Publisher: Hildesheim G. Olms 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 400 St37g] (1).

605. GESCHICHTE DER SPRACHWISSENSCHAFT BEIDEN GRIECHEN UND ROMERN

by Steinthal, Heymann.

Material type: book Book Description: 2 v.2.Publisher: Hildesheim G. Olms 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 400 St37g] (1).

606. AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS

by Bach, Emmon W.

Material type: book Book 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).

607. FOUNDATIONS OF MATHEMATICS AND OTHER LOGICAL ESSAYS

by Ramsey, Frank Plumpton | Braithwaite, R. B.

Material type: book Book Description: 292.Publisher: London K. Paul And Routledge 1931Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 R14] (1).

608. A METHOD IN PROFFS OF UNDEFINABILITY

by Bouvere, Karel Louis De.

Material type: book Book Description: 641.Publisher: Amsterdam North-Holland Pub. Co. 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B669m] (1).

609. SET THEORY AND THE CONTINUUM HYPOTHESIS

by Cohen, Paul J.

Material type: book Book Description: 154.Publisher: New York W. A. Benjamin c1966Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510 C66s] (1).

610. The two valued iterative systems of mathematical logic

by Post, Emil L.

Material type: book Book; Format: print ; Literary form: not fiction Description: 122p.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).

611. LANGUAGE, LOGIC, AND MATHEMATICS

by Kilmister, Clive William.

Material type: book Book Description: 124.Publisher: New York Barnes & Noble c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 K558L] (1).

612. LES PRINCIPES DER MATHEMATIQUES

by Couturat, Louis.

Material type: book Book Description: 310.Publisher: Hildesheim Georg Olms Verlags-Buchhandlung 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 C837p] (1).

613. RECHERCHES SUR LA THEORIE GENERALE DES SYSTEMES FORMELS ET SUR LES SYSTEMES CONNECTIFS

by Porte, Jean.

Material type: book Book Description: vi,146.Publisher: Paris Gauthier-Villars 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 P833r] (1).

614. FROM FREGE TO GODEL

by .

Material type: book Book Description: x,660.Publisher: Cambridge Harvard University Press c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 V312f] (1).

615. SET THEORY AND LOGIC

by Fraenkel, Abraham Adolf.

Material type: book Book Description: 102.Publisher: Reading, Mass. Addison-Wesley Pub. Co. 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 F841mE] (1).

616. AN INTRODUCTION TO ANALYSIS

by Zaring, Wilson M.

Material type: book Book Description: 364.Publisher: New York Macmillan c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517 Za18i] (1).

617. An introduction to analysis

by Zaring, Wilson M.

Material type: book Book Description: viii, 364p.Publisher: New York Macmillan 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517 Za18i] (1).

618. THRESHOLD LOGIC

by Hu, Sze-Tsen.

Material type: book Book Description: 338.Publisher: Berkeley University Of California Press c1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.5 H86t] (1).

619. AXIOMATIC METHOD IN BIOLOGY

by Woodger, Joseph Henry.

Material type: book Book Description: 174.Publisher: Cambridge, Eng. University Press 1937Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 574.0151 W856a] (1).

620. LOGIC AND LANGUAGE

by Flew, Antony G. N.

Material type: book Book Description: 242.Publisher: Oxford Blackwell 1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F63L] (1).

Powered by Koha