PKK Library catalog › Results of search for 'se,phr:"Studies In Logic And The Foundations Of Mathematics / Edited By A.Heyting"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Craig, William (1)
- Crossley, John N [ed.] (1)
- Curry, Haskell B. (1)
- Feys , Robert (1)
- Mostowski, A. (2)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (7)
Home libraries
- PK Kelkar Library, IIT Kanpur (7)
Item types
- Books (6)
- Lost (1)
Series
Topics
- Foundations Of Mathematics (2)
- Logic (1)
- Philosophy (1)
- Philosophy of science (1)
- Set theory (1)
- Show more

	1.	Set theory by Kuratowski, K \| Mostowski, A. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 417p.Publisher: Warszawa, Poland Pwn- Polish Scientific Publishers 1968Availability: No items available Withdrawn (1). Add to cart (remove)
	2.	Sets, models and recursion theory : proceedings... by Crossley, John N [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: 340p.Publisher: Amsterdam North-Holland Publishing 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 Su 64s] (2). Place hold Add to cart (remove)
	3.	Combinatory logic by Curry, Haskell B \| Feys , Robert \| Craig, William \| . Description: xvi, 417p.Publisher: Amsterdam North-Holland Publishing Company 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9] (1). Place hold Add to cart (remove)
	4.	Problems in the philosophy of science by Lakatos, Imre \| Musgrave, Alan \| . Description: vii, 448p.Publisher: Amsterdam North-Holland 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 In84p v.3] (1). Place hold Add to cart (remove)
	5.	Constructive order types by Crossley, John N. Description: 222p.Publisher: Amsterdam North-Holland Publishing 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9] (1). Place hold Add to cart (remove)
	6.	The problem of inductive logic : proceedings of the international colloquium in the philosophy of science by International colloquium in the philosophy of science London \| Lakatos, Imre [ed.]. Description: viii, 417p.Publisher: Amsterdam North-Holland Publishing 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: ] (1). Place hold Add to cart (remove)
	7.	Constructible sets with applications by Mostowski, A \| Heying, A.Ed \| . Description: ix, 269p.Publisher: Amsterdam North-Holland Publishing Company 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 M855c] (1). Place hold Add to cart (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics