Douglas Bridges
Books

Varieties of Constructive Mathematics

Handbook of Constructive Mathematics
2023
ISBN 9781316510865
Constructive Analysis
1985
ISBN 9780387150666

Varieties of Constructive Mathematics

Handbook of Constructive Mathematics
2023
ISBN 9781316510865
Constructive Analysis
1985
ISBN 9780387150666