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
Lijkt op dit boek
De wereld van wiskunde in zes kernideeën
De wereld van wiskunde in zes kernideeën
Introduction to Optimization for Economists
Exercise Solutions for An Introduction to Optimization for Economists
Het Laatste Axioma Bestaat Niet
Een wereld van kansen met Python
Statistiek begrijpen zonder formules
Het bewijs van Collatz of Alles gaat naar Nul. Deel 1 en Deel 2.
Leerboek
Leerboek
NSTC 501284110 · CB-relatie 9643026 · Bijgewerkt 6 augustus 2026