Constructieve Wiskunde

8 books
From sets and types to topology and analysisPeter Schuster
⏱ 5h 50m

From sets and types to topology and analysis

Peter Schuster

2005350 pp.
Techniques of constructive analysisDouglas S. Bridges
⏱ 3h 44m

Techniques of constructive analysis

Douglas S. Bridges

2006224 pp.
Foundations of algorithmsRichard E. Neapolitan
⏱ 8h 43m

Foundations of algorithms

Richard E. Neapolitan

1996523 pp.
Constructive order typesJohn N. Crossley
⏱ 3h 50m

Constructive order types

John N. Crossley

1969230 pp.
ConstructionGerhard Heinzmann
⏱ 11h 27m

Construction

Gerhard Heinzmann

2010687 pp.
Constructive analysisErrett Bishop
⏱ 7h 57m

Constructive analysis

Errett Bishop

1985477 pp.
Constructive real analysisAllen A. Goldstein
⏱ 2h 58m

Constructive real analysis

Allen A. Goldstein

1967178 pp.
Constructive theory of functions of several variablesW. Schempp
⏱ 4h 50m

Constructive theory of functions of several variables

W. Schempp

1977290 pp.