From sets and types to topology and analysis towards practicable foundations for constructive mathematics

By:

Contributor(s):

Publication details: Oxford Clarendon Press 2005 2005Description: xix,350p. 24cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Schedule Reference Materials	Main Library Reference Section		Schedule Reference Collection		511.36FRO (Browse shelf(Opens below))					Available			25241

Browsing Main Library shelves,Shelving location: Reference Section,Collection: Schedule Reference Collection Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.322LUT Sets functions and numbers	511.322PAN Set theory	511.33DEL Contemporary mathematics	511.36FRO From sets and types to topology and analysis	511.3AUT Automata, languages and programming	511.3COM Comuting with bio-molecules:	511.3DAL Logic and structure	Next

There are no comments on this title.

to post a comment.