|
|
181.
|
The two valued iterative systems of mathematical logic
by Post, Emil L. Material type:  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).
|
|
|
182.
|
LANGUAGE, LOGIC, AND MATHEMATICS
by Kilmister, Clive William. Material type: Book Description: 124.Publisher: New York Barnes & Noble c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 K558L] (1).
|
|
|
183.
|
LES PRINCIPES DER MATHEMATIQUES
by Couturat, Louis. Material type: 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).
|
|
|
184.
|
RECHERCHES SUR LA THEORIE GENERALE DES SYSTEMES FORMELS ET SUR LES SYSTEMES CONNECTIFS
by Porte, Jean. Material type: Book Description: vi,146.Publisher: Paris Gauthier-Villars 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 P833r] (1).
|
|
|
185.
|
FROM FREGE TO GODEL
by . Material type: 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).
|
|
|
186.
|
SET THEORY AND LOGIC
by Fraenkel, Abraham Adolf. Material type: 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).
|
|
|
187.
|
AN INTRODUCTION TO ANALYSIS
by Zaring, Wilson M. Material type: Book Description: 364.Publisher: New York Macmillan c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517 Za18i] (1).
|
|
|
188.
|
An introduction to analysis
by Zaring, Wilson M. Material type: Book Description: viii, 364p.Publisher: New York Macmillan 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517 Za18i] (1).
|
|
|
189.
|
AXIOMATIC METHOD IN BIOLOGY
by Woodger, Joseph Henry. Material type: Book Description: 174.Publisher: Cambridge, Eng. University Press 1937Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 574.0151 W856a] (1).
|
|
|
190.
|
WITTGENSTEIN'S TRACTATUS
by Stenius,Erik. Material type: Book Description: xi,241.Publisher: Basil Blackwell, Oxford 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 W784ZS] (1).
|
|
|
191.
|
Techniques of deductive inference
by Leblanc, Hugues. Material type: Book Publisher: London Prentice-Hall International, Inc. 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L492t] (1).
|
|
|
192.
|
An introduction to symbolic logic
by Langer, Susanne K. Edition: 2nd revMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 367p.Publisher: New York Dover Publications 1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L26I2] (1).
|
|
|
193.
|
A primer of formal logic
by Cooley, John Cleveland. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 378p.Publisher: New York The Macmillan Company 1942Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C77p] (1).
|
|
|
194.
|
THE SEARCH FOR TRUTH
by Bell, Eric Temple. Material type: Book Description: 293.Publisher: N. Y. Reynal Hitchcock 1935Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B41s] (1).
|
|
|
195.
|
LA CRISE DE LA RAISON LA LOGIQUE
by CONFERENCE, LA CRISE DE LA RAISON LA LOGIQUE SORBONNE AU MARCH 29 TO APRIL 7, 1954 | Beth, Evert Willem, ed. Material type: Book Description: 50p.Publisher: Paris Gauthier-Villars c1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B46c] (1).
|
|
|
196.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Mendelson, Elliott. Material type: Book Description: 300.Publisher: Princeton, N. J. Van Nostrand 1964Availability: No items available Withdrawn (1).
|
|
|
197.
|
The elements of mathematical logic
by Rosenbloom, Paul C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv, 214p.Publisher: New York Dover Publications 1950Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 R72E] (1).
|
|
|
198.
|
Elements of mathematical logic
by Novikov, P. S | Boron, Leo F. [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 296p.Publisher: London Oliver & Boyd 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 N858EE] (1).
|
|
|
199.
|
Time and modality
: being the John Locke lectures for 1955-6 delivered in the university of Oxford
by Prior, A. N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Oxford Clarendon Press 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 P93T] (1).
|
|
|
200.
|
INVESTIGATION OF THE LAWS OF THOUGHT
by Boole, George. Material type: Book Description: 424.Publisher: N. Y. Dover Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B64i] (1).
|
