|
|
221.
|
SET THEORY AND THE CONTINUUM HYPOTHESIS
by Cohen, Paul J. Material type:  Book Description: 154p.Publisher: New York W. A. Benjamin c1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 C66s] (1).
|
|
|
222.
|
THE TWO-VALUED ITERATIVE SYSTEMS OF MATHEMATICAL LOGIC
by Post, Emil Leon. Material type: Book Description: 122.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).
|
|
|
223.
|
THE CALCULI OF LAMBDA-CONVERSION
by Church, Alonzo. Material type: Book Description: 82.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).
|
|
|
224.
|
THE ANATOMY OF MATHEMATICS
by Kershner, Richard | Wilcox, Lee Roy. Material type: Book Description: 416.Publisher: N. Y. Ronald Press 1950Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 K47a] (1).
|
|
|
225.
|
THE CALCULI OF LAMBDA-CONVERSION
by Church, Alonzo. Material type: Book Description: 82.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).
|
|
|
226.
|
MATHEMATICAL LOGIC
by Kleene, Stephen Cole. Material type: Book Description: 398.Publisher: New York Wiley c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 K672m] (1).
|
|
|
227.
|
DIRECTAND CONVERSE THEOREMS
by Gradshtein, I. S | Boddington, T. Material type: Book Description: 173.Publisher: London Pergamon Press 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 G755pE] (1).
|
|
|
228.
|
SYMBOLIC LOGIC AND THE REAL NUMBER SYSTEM
by Lightstone, A. H. Material type: Book Description: 225.Publisher: N. Y. Harper & Row c1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.81 L626s] (1).
|
|
|
229.
|
AXIOMATIC ANALYSIS
by Katz, Robert | Widder, David Vernon. Material type: Book Description: 336.Publisher: Boston Heath 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 K159a] (1).
|
|
|
230.
|
ABSTRACT SETS AND FINITE ORDINALS
by Keene, Geoffrey Bourton. Material type: Book Description: 106.Publisher: Oxford Pergamon 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 K251a] (1).
|
|
|
231.
|
ELEMENTARY CONCEPTS OF MODERN MATHEMATICS
by Dinkines, Flora. Material type: Book Description: x, 457p.Publisher: N. Y. Apleton-Century-Crofts 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 D616e] (1).
|
|
|
232.
|
SET THEORY AND ITS LOGIC
by Quine, Willard Van Orman. Material type: Book Description: 359.Publisher: Cambridge Belknap Press Of Harvard University Press 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 Qu44s] (1).
|
|
|
233.
|
SETS, LOGIC, AND AXIOMATIC THEORIES
by Stoll, Robert Roth. Material type: Book Description: 206.Publisher: San Francisco W. H. Freeman 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 St68s] (1).
|
|
|
234.
|
SET THEORY AND LOGIC
by Stoll, Robert Roth. Material type: Book Description: 474.Publisher: San Francisco W. H. Freeman 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 St68se] (1).
|
|
|
235.
|
PROOF IN GEOMETRY
by Fetisov, A. I | Lange, Luise. Material type: Book Description: 55.Publisher: Boston Heath 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 513.01 F431p] (1).
|
|
|
236.
|
ALGEBRAIC LOGIC
by Halmos, Paul Richard. Material type: Book Description: 271.Publisher: N. Y. Chelsea 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 H162a] (1).
|
|
|
237.
|
LA STRUCTURE ALGEBRIQUE DES THEORIES MATHEMATIQUES
by Henkin, Leon. Material type: Book Description: 52.Publisher: Paris Gauthier-Villars 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 H38s] (1).
|
|
|
238.
|
LATTICE TO LOGIC
by Dubisch, Roy. Material type: Book Description: 88.Publisher: N. Y. Blaisdell Pub. Co. 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.865 D852L] (1).
|
|
|
239.
|
INTRODUCTORY REAL ANALYSIS
by Munroe, Marshall Evans. Material type: Book Description: 198.Publisher: Reading, Mass. Addison-Wesley 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.52 M926i] (1).
|
|
|
240.
|
TOPICS IN ENGINEERING LOGIC
by Nadler, Morton. Material type: Book Description: 231.Publisher: N. Y. Macmillan 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 681.142 N126t] (1).
|
