From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics Login for the JSON version of this page.
- Title
- From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
- ISBN-10
- 0-19-856651-4
- ISBN-13
- 978-0-19-856651-9
- Author(s)
- Publisher
- CLARENDON/OXFORD, Clarendon Press, OUP Oxford, Oxford University Press, USA
- Published
- 2024
- Format
- Hardcover
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 948
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9780198566519
- ASIN
- 0198566514
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 19
- Publication
- 856651
- Check Digit
- 9
- Formatted
- 978-0-19-856651-9