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

Your search returned 1149 results. Subscribe to this search

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

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

63. LOGIC IN ALGEBRAIC FORM

by Craig, William.

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

64. AN OUTLINE OF MATHEMATICAL LOGIC : FUNDAMENTAL RESULTS AND NOTIONS EXPLAINED WITH ALL DETAILS

by Grzegorczyk, Andrzej.

Material type: book Book; Format: print ; Literary form: not fiction Description: 596p.Publisher: Dordrecht D. Reidel 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G929o] (1).

65. INTRODUCTION TO COMBINATORY LOGIC

by Hindley, J. R | Seldin, J. P.

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

66. INTRODUCTION TO MATHEMATICAL LOGIC

by Mendelson, Elliott.

Material type: book Book; Format: print ; Literary form: not fiction Description: 300.Publisher: Princeton, N. J. Van Nostrand 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M522i] (1).

67. EINFUHRUNG IN DIE OPERATIVE LOGIK UND MATHEMATIK

by Lorenzen, Paul.

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

68. AXIOMATIC THEORY OF SETS AND CLASSES

by Eisenberg, Murray.

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

69. AXIOMATIC THEORY OF SETS AND CLASSES

by Eisenberg, Murray.

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

70. SET THEORY AND ITS LOGIC

by Quine, Willard Van Orman.

Edition: rev.Material type: book Book Description: xvii,361.Publisher: Cambridge Belknap Press Of Harvard University Press c1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 Qu44s] (1).

71. SETS, LOGIC, AND AXIOMATIC THEORIES

by Stoll, Robert Roth.

Material type: book Book; Format: print ; Literary form: not fiction Description: 206.Publisher: San Francisco W. H. Freeman 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 St68s] (1).

72. RECURSIVE FUNCTION THEORY AND LOGIC

by Yasuhara, Ann.

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

73. HISTORY OF MATHEMATICAL LOGIC FROM LEIBNIZ TO PEANO

by Styazhkin, N. I.

Material type: book Book; Format: print ; Literary form: not fiction Description: 333.Publisher: Cambridge M. I. T. Press 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.309 St99] (1).

74. WHAT IS MATHEMATICAL LOGIC

by Crossley, J. N.

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

75. A decision method for elementary algebra and geoemtry

by Tarski, Alfred.

Edition: 2nd rev.Material type: book Book Description: 63p.Publisher: Berkeley University Of California Press c1951Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 T17d2] (1).

76. COMPUTABILITY AND LOGIC

by Boolos, George | Jeferey, Richard.

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

77. Error coding for arithmetic processors

by Rao, Thammavarapu, R. N.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,216p.Publisher: New York Academic Press 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 R18e] (1).

78. COMPUTER LOGIC

by Rose, Alan.

Material type: book Book; Format: print ; Literary form: not fiction Description: 180.Publisher: London Wiley Interscience 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 R72] (1).

79. Hegel's Science of logic

by Miller, A. V. [tr.].

Material type: book Book; Format: print ; Literary form: not fiction Description: 845p.Publisher: New York George Allen & Unwin 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 574.927 C55i] (1).

80. modern formal logic

by Fisk, Milton.

Material type: book Book Description: xiv, 116p.Publisher: New Jersey Prentice-Hall 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F542m] (1).

Powered by Koha