|
|
61.
|
MEANING AND EXISTENCE IN MATHEMATICS
by Castonguay, Charles. Material type:  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; 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; 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; 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; 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; 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; 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; 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; 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 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; 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; 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; 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; 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 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; 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; 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; 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; 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 Description: xiv, 116p.Publisher: New Jersey Prentice-Hall 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F542m] (1).
|
