From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crosilla and Peter Schuster
Language: English Publication details: Oxford : Clarendon Press, 2005Description: xix, 350 pages : illustrationsContent type: Text | Media type: Unmediated | Carrier type: VolumeISBN: 9780198566519Subject(s): CONGRESSES | CONSTRUCTIVE MATHEMTICSLOC classification: QA 9.56 Set| Item type | Home library | Collection | Shelving location | Call number | Materials specified | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
MONOGRAPH
|
CBU- LUSAKA CAMPUS | CBU-Lusaka Campus | General Stacks | QA 9.56 Set (Browse shelf(Opens below)) | 1 | Available | 752197 |
There are no comments on this title.