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:"Heyting A"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Heyting A (1)
- Heyting, A [Ed.] (1)
- Heyting, A. (3)
- Mostowski, A. [ed.] (1)
- Robinson, A. [ed.] (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (6)
Home libraries
- PK Kelkar Library, IIT Kanpur (6)
Item types
- Books (6)
Series
Topics
- Logic (1)
- Mathematics (1)
- Philosophy, British (1)
- Space and Time (1)

Your search returned 6 results.

Unhighlight Highlight

|

	1.	INTUITIONISM by Heyting A. Material type: Book; Format: print ; Literary form: not fiction Description: 180.Publisher: London Oxford University Press 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V16 REV COP2] (1). Place hold Add to cart (remove)
	2.	A deductive theory of space and time by Basri, Saul A \| Brouwer, L. E. J. [Ed.] \| Heyting, A [Ed.] \| Robinson, A. [Ed.]. Material type: Book Description: xi, 163p.Publisher: Amsterdam North-Holland Publishing Company 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9] (1). Place hold Add to cart (remove)
	3.	CONSTRUCTIVITY IN MATHEMATICS by Heyting, A. Material type: Book Publisher: North-Holland 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1). Place hold Add to cart (remove)
	4.	INTUITIONISM : AN INTRODUCTION by Heyting, A. Material type: Book Publisher: North-Holland 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1). Place hold Add to cart (remove)
	5.	Axiomatic projective geometry by Heyting, A. Material type: Book Publisher: Amsterdam North-Holland Publishing Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.57 H519a] (2). Place hold Add to cart (remove)
	6.	Studies in logic and the foundation of mathematics [v.61] by Heyting A. [ed.] \| Keisler, H.J. [ed.] \| Mostowski, A. [ed.] \| Robinson, A. [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xiv, 451p.Publisher: Amsterdam North-Holland 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9 v.61] (1). Place hold Add to cart (remove)

Powered by Koha