|
|
221.
|
SYMBOLIC LOGIC AND INTELLIGENT MACHINES
by Berkeley, Edmund Callis. Material type:  Book Description: 203.Publisher: N. Y. Reinhold Pub. Corp. 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.78 B455s] (1).
|
|
|
222.
|
STATISTICAL METHODS AND SCIENTIFIC INFERENCE
by Fisher, Sir Ronald Aylmer. Edition: 2nd rev.Material type: Book Description: 178.Publisher: London Oliver & Boyd 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 F53s2] (1).
|
|
|
223.
|
STATISTICAL METHODS AND SCIENTIFIC INFERENCE
by Fisher, Sir Ronald Aylmer. Edition: 2nd rev.Material type: Book Description: 178.Publisher: London Oliver & Boyd 1959Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.1 F53s2] (1).
|
|
|
224.
|
LES FONDEMENTS LOGOIQUES DES MATHEMATIQUES
by Beth, Evert Willem. Edition: 2ndMaterial type: Book Description: 241p.Publisher: Paris Gautheir-Villars c1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B46f2] (1).
|
|
|
225.
|
THE NATURE OF MATHEMATICS
by Black, Max. Material type: Book Description: 219.Publisher: N. Y. Humanities 1950Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B56n] (1).
|
|
|
226.
|
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).
|
|
|
227.
|
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).
|
|
|
228.
|
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).
|
|
|
229.
|
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).
|
|
|
230.
|
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).
|
|
|
231.
|
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).
|
|
|
232.
|
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).
|
|
|
233.
|
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).
|
|
|
234.
|
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).
|
|
|
235.
|
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).
|
|
|
236.
|
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).
|
|
|
237.
|
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).
|
|
|
238.
|
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).
|
|
|
239.
|
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).
|
|
|
240.
|
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).
|
