Constructive real analysis
L. Cruz-Filipe
Constructive real analysis a type-theoretical formalization and applications
Paperback212 pagina’sEngels
In het kort
Bibliografisch
ISBN-139789090180557
Editie1
TaalEngels eng
Pagina’s212
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Wiskunde algemeen 918
NUR (alle)918 Wiskunde algemeen
Medewerkers
Auteur A01L. Cruz-Filipe
Herkomst
Werk-id (NSTC)501284110
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501284110 · CB-relatie 9643026 · Bijgewerkt 6 augustus 2026