PKK Library

Your cart is empty.

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

Your search returned 9 results. Subscribe to this search

Unhighlight Highlight
|
1.
MECHANISM, MENTALISM, AND METAMATHEMATICS

by Webb. Judon Chambers.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,277.Publisher: Dordrecht D. Reidel 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W382m] (1).

Place hold Add to cart
3.
METAMATHEMATICS MACHINES AND GODELS PROOF

by Shankar,N.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,202.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 SH18M] (1).

Place hold Add to cart
4.
METAMATHEMATICS OF FIRST-ORDER AIRTHMETIC

by Hajek,Petr | Pudlak,Pavel.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,460.Publisher: Springer-Verlag, Berlin 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 H127M] (1).

Place hold Add to cart
5.
THE MATHEMATICS OF METAMATHEMATICS

by Rasiowa, Helena.

Material type: book Book Description: 519.Publisher: Warszawa Panstwowe Wydaunictwo Naukowe 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 R183m] (1).

Place hold Add to cart
6.
Introduction to metamathematics

by Kleene, Stephen Cole.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 550p.Publisher: Amsterdam North-Holland 1952Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 K67i] (2).

Place hold Add to cart
7.
ELEMENTARY LOGIC OF SCIENCE AND MATHEMATICS

by Nidditch, P. H.

Material type: book Book Description: 371.Publisher: London Tutorial Press 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 N549e] (1).

Place hold Add to cart
8.
THEORY OF FORMAL SYSTEMS

by Smullyan, Raymond M.

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

Place hold Add to cart
9.
METAMETHEMATIK

by Lorenzen, Paul.

Material type: book Book Description: 167.Publisher: Mannheim Bibliographisches Institut c1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 L887m] (1).

Place hold Add to cart

Powered by Koha