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

Your search returned 305 results. Subscribe to this search

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

36. THEORY OF SCIENCE

by Bolzano, Bernard | George, Rolf.

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

37. THEORY OF SCIENCE

by Bolzano, Bernard | George, Rolf.

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

38. ALGEBRAIC THEORY OF SWITCHING CIRCUITS

by Moisil, Grigore C.

Material type: book Book; Format: print ; Literary form: not fiction Description: 719.Publisher: Oxford Pergamon Press 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381537 M729tE] (1).

39. MODAL LOGIC AND ITS APPLICATIONS

by Snyder,D. Paul.

Material type: book Book Description: xiv,335.Publisher: Van Nostrand Reinhold, New York c1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 SN92] (1).

40. MODAL LOGIC AND ITS APPLICATIONS

by Snyder,D. Paul.

Material type: book Book Description: xiv,335.Publisher: Van Nostrand Reinhold, New York c1971Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 SN92] (1).

Powered by Koha