PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 1149 results. Subscribe to this search

Unhighlight Highlight
|
721.
INTRODUCTION TO THE FOUNDATIONS OF MATHEMATICS

by Wilder, Raymond Louis.

Material type: book Book Description: 305.Publisher: N. Y. Wiley 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W64i] (1).

Place hold Add to cart
722.
Foundations of mathematical logic

by Curry, Haskell Brooks.

Material type: book 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).

Place hold Add to cart
723.
STATISTICAL METHODS AND SCIENTIFIC INFERENCE

by Fisher, Sir Ronald Aylmer.

Material type: book Book Description: 175.Publisher: London Oliver & Boyd 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 F53s] (1).

Place hold Add to cart
724.
SYMBOLIC LOGIC AND INTELLIGENT MACHINES

by Berkeley, Edmund Callis.

Material type: book 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).

Place hold Add to cart
725.
THE THEORY OF MATHEMATICAL MACHINES

by Bazilevskii, Yu. Ya | Jackson, J. M.

Material type: book Book Description: 264.Publisher: Oxford Pergamon Press 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.78 V899E] (1).

Place hold Add to cart
726.
SYMBOLIC LOGIC AND INTELLIGENT MACHINES

by Berkeley, Edmund Callis.

Material type: book 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).

Place hold Add to cart
727.
STATISTICAL METHODS AND SCIENTIFIC INFERENCE

by Fisher, Sir Ronald Aylmer.

Edition: 2nd rev.Material type: book Book Description: 178.Publisher: London Oliver & Boyd 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 F53s2] (1).

Place hold Add to cart
728.
STATISTICAL METHODS AND SCIENTIFIC INFERENCE

by Fisher, Sir Ronald Aylmer.

Edition: 2nd rev.Material type: book Book Description: 178.Publisher: London Oliver & Boyd 1959Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.1 F53s2] (1).

Place hold Add to cart
729.
MATHEMATICS AND LOGIC IN HISTORY AND IN CONTEMPORARY THOUGHT

by Carruccio, Ettore | Quigly, Isabel.

Material type: book Book Description: 398.Publisher: London Faber And Faber 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.9 C237m] (1).

Place hold Add to cart
730.
LES FONDEMENTS LOGOIQUES DES MATHEMATIQUES

by Beth, Evert Willem.

Edition: 2ndMaterial type: book Book Description: 241p.Publisher: Paris Gautheir-Villars c1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B46f2] (1).

Place hold Add to cart
731.
THE NATURE OF MATHEMATICS

by Black, Max.

Material type: book Book Description: 219.Publisher: N. Y. Humanities 1950Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B56n] (1).

Place hold Add to cart
732.
SET THEORY AND THE CONTINUUM HYPOTHESIS

by Cohen, Paul J.

Material type: book Book Description: 154p.Publisher: New York W. A. Benjamin c1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 C66s] (1).

Place hold Add to cart
733.
THE TWO-VALUED ITERATIVE SYSTEMS OF MATHEMATICAL LOGIC

by Post, Emil Leon.

Material type: book Book Description: 122.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).

Place hold Add to cart
734.
THE CALCULI OF LAMBDA-CONVERSION

by Church, Alonzo.

Material type: book Book Description: 82.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).

Place hold Add to cart
735.
THE ANATOMY OF MATHEMATICS

by Kershner, Richard | Wilcox, Lee Roy.

Material type: book Book Description: 416.Publisher: N. Y. Ronald Press 1950Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 K47a] (1).

Place hold Add to cart
736.
THE CALCULI OF LAMBDA-CONVERSION

by Church, Alonzo.

Material type: book Book Description: 82.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).

Place hold Add to cart
737.
MATHEMATICAL LOGIC

by Kleene, Stephen Cole.

Material type: book Book Description: 398.Publisher: New York Wiley c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 K672m] (1).

Place hold Add to cart
738.
THE LOGIC OF SCIENTIFIC DISCOVERY

by Popper, Karl Raimund.

Material type: book Book Description: 479.Publisher: N. Y. Science Edition 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.8 P81LE] (1).

Place hold Add to cart
739.
THE LOGIC OF SCIENTIFIC DISCOVERY

by Popper, Karl Raimund.

Material type: book Book Description: 479.Publisher: N. Y. Science Edition 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.8 P81LE] (1).

Place hold Add to cart
740.
DIRECTAND CONVERSE THEOREMS

by Gradshtein, I. S | Boddington, T.

Material type: book Book Description: 173.Publisher: London Pergamon Press 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 G755pE] (1).

Place hold Add to cart

Powered by Koha