|
|
721.
|
INTRODUCTION TO THE FOUNDATIONS OF MATHEMATICS
by Wilder, Raymond Louis. Material type:  Book Description: 305.Publisher: N. Y. Wiley 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W64i] (1).
|
|
|
722.
|
Foundations of mathematical logic
by Curry, Haskell Brooks. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 408p.Publisher: New York Mcgraw-Hill 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 C937f] (1). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.1 C937f] (2).
|
|
|
723.
|
STATISTICAL METHODS AND SCIENTIFIC INFERENCE
by Fisher, Sir Ronald Aylmer. Material type: Book Description: 175.Publisher: London Oliver & Boyd 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 F53s] (1).
|
|
|
724.
|
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).
|
|
|
725.
|
THE THEORY OF MATHEMATICAL MACHINES
by Bazilevskii, Yu. Ya | Jackson, J. M. Material type: Book Description: 264.Publisher: Oxford Pergamon Press 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.78 V899E] (1).
|
|
|
726.
|
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).
|
|
|
727.
|
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).
|
|
|
728.
|
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).
|
|
|
729.
|
MATHEMATICS AND LOGIC IN HISTORY AND IN CONTEMPORARY THOUGHT
by Carruccio, Ettore | Quigly, Isabel. Material type: Book Description: 398.Publisher: London Faber And Faber 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.9 C237m] (1).
|
|
|
730.
|
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).
|
|
|
731.
|
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).
|
|
|
732.
|
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).
|
|
|
733.
|
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).
|
|
|
734.
|
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).
|
|
|
735.
|
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).
|
|
|
736.
|
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).
|
|
|
737.
|
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).
|
|
|
738.
|
THE LOGIC OF SCIENTIFIC DISCOVERY
by Popper, Karl Raimund. Material type: Book Description: 479.Publisher: N. Y. Science Edition 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.8 P81LE] (1).
|
|
|
739.
|
THE LOGIC OF SCIENTIFIC DISCOVERY
by Popper, Karl Raimund. Material type: Book Description: 479.Publisher: N. Y. Science Edition 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.8 P81LE] (1).
|
|
|
740.
|
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).
|
