From sets and types to topology and analysis towards practicable foundations for constructive mathematics
Publication details: Oxford Clarendon Press 2005 2005Description: xix,350p. 24cmISBN:- 0198566514
- 511.36 FRO
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
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)
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 |
There are no comments on this title.
Log in to your account to post a comment.