PKK Library

Your cart is empty.

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

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
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
2.
Logical foundations of mathematics and computational complexity : a gentle introduction

by Pudlak, Pavel.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 695p.Publisher: Cham Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P962l] (1).

Place hold Add to cart

Powered by Koha