PKK Library

Your cart is empty.

Cart
- Your cart is empty.
Lists

Log in to your account
Search history [x]

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

Search

Advanced search

Log in to your account

Login: Password:

Cancel

Home ›
Results of search for 'au:"Hajek,Petr"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Hajek, Petr (1)
- Hajek,Petr (1)
- Pudlak,Pavel (1)
- Vopenka, Petr (1)
Holding libraries
- PK Kelkar Library, IIT Kanpur (2)
Home libraries
- PK Kelkar Library, IIT Kanpur (2)
Item types
- Books (1)
- Text Books (1)
Series
- Studies In Logic And The Foundations Of Mathematics, V. 70 (1)
Topics
- Airthmetic (1)
- Metamathematics (1)
- Set Theory (1)

Your search returned 2 results.

Unhighlight Highlight

|

	1.	THE THEORY OF SEMISETS by Vopenka, Petr \| Hajek, Petr. Material type: Book; Format: print ; Literary form: not fiction Description: 332.Publisher: Amsterdam North-Holland Pub. Co. 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 V899] (1). Place hold Add to cart (remove)
	2.	METAMATHEMATICS OF FIRST-ORDER AIRTHMETIC by Hajek,Petr \| Pudlak,Pavel. Material type: 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 (remove)

Powered by Koha