|
|
21.
|
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).
|
|
|
22.
|
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).
|
|
|
23.
|
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).
|
|
|
24.
|
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).
|
|
|
25.
|
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).
|
|
|
26.
|
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).
|
|
|
27.
|
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).
|
|
|
28.
|
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).
|
|
|
29.
|
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).
|
|
|
30.
|
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).
|
|
|
31.
|
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).
|
|
|
32.
|
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).
|
|
|
33.
|
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).
|
|
|
34.
|
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).
|
|
|
35.
|
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).
|
|
|
36.
|
THEORY OF SCIENCE
by Bolzano, Bernard | George, Rolf. Material type: 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; 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; 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 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 Description: xiv,335.Publisher: Van Nostrand Reinhold, New York c1971Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 SN92] (1).
|
