New Arrivals

Normal view MARC view ISBD view

Constructive order types

By:

Crossley, John N

Series: Studies In Logic And The Foundations Of Mathematics / Edited By A. Heyting ; Publication details: Amsterdam North-Holland Publishing 1969Description: 222pSubject(s):

DDC classification:

160 St9

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	160 St9 (Browse shelf(Opens below))	Link to resource	Available		A6194

Total holds: 0

Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	160 St9 Foundations of set theory	160 ST9 COMPUTER PROGRAMMING AND FORMAL SYSTEMS	160 St9 Combinatory logic	160 St9 Constructive order types	160 St9 Mathematical logic and foundations of set theory	160 ST9 V.1 COMBINATORY LOGIC	160 ST9 V.14 ORDINAL ALGEBRAS	Next

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

P K Kelkar Library

Indian Institute of Technology, Kalyanpur, Kanpur, U P 208016 India| Web: https://pkklib.iitk.ac.in

Email : librarian@iitk.ac.in | Phone : +91 512 259-7233

Visitor Counter:

Powered by Koha