|
|
181.
|
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).
|
|
|
182.
|
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).
|
|
|
183.
|
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).
|
|
|
184.
|
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).
|
|
|
185.
|
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).
|
|
|
186.
|
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).
|
|
|
187.
|
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).
|
|
|
188.
|
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).
|
|
|
189.
|
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).
|
|
|
190.
|
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).
|
|
|
191.
|
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).
|
|
|
192.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Mendelson, Elliott. Material type: Book Description: 300.Publisher: Princeton, N. J. Van Nostrand 1964Availability: No items available Withdrawn (1).
|
|
|
193.
|
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).
|
|
|
194.
|
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).
|
|
|
195.
|
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).
|
|
|
196.
|
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).
|
|
|
197.
|
Non-standard analysis
by Robinson, Abraham. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 293p.Publisher: Nre Jersey Princeton University Press 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 SZ9 V.37] (1).
|
|
|
198.
|
ETUDE LOGIQUE DES CIRCUITS ELECTRIQUES ET DES SYSTEMES BINAIRES
by Higonnet, Rene | Grea, R. Material type: Book Description: 452.Publisher: Paris Berger-Levrault c1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.31 H53e] (1).
|
|
|
199.
|
LOGIC DESIGN OF TRANSISTOR DIGITAL COMPUTERS
by Maley, Gerald A | Earle, John. Material type: Book Description: 322.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38151 M294L] (1).
|
|
|
200.
|
LOGIC AND KNOWLEDGE
: ESSAYS, 1901-1950
by Russell, Bertrand. Edition: 3d earlMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 382.Publisher: London Allen & Unwin 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.9 R91L] (1).
|
