Univalent Constructive Algebraic Geometry - Foundations and Formalizations
- Författare
- Max Zeuner
- (Max Zeuner.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Mathematics, Stockholm University | 2024 | Sverige, Stockholm | 1 onlineresurs (25 sidor) | 978-91-8014-864-1 |
| Department of Mathematics, Stockholm University | 2024 | Sverige, Stockholm | 25 sidor illustrationer 24 cm | 978-91-8014-863-4 |