Filter

Constructieve Wiskunde

8 books found

From sets and types to topology and analysis
From sets and types to topology and analysis

by Peter Schuster

2005 4 ed.
Foundations of algorithms
Foundations of algorithms

by Richard E. Neapolitan

1996 2 ed.
Constructive order types
Constructive order types

by John N. Crossley

1969 2 ed.
Techniques of constructive analysis
Techniques of constructive analysis

by Douglas S. Bridges, Luminita Simona Vita

2006 2 ed.
Constructive real analysis
Constructive real analysis

by Allen A. Goldstein

1967 2 ed.
Constructive analysis
Constructive analysis

by Errett Bishop

1985 1 ed.
Constructive theory of functions of several variables
Constructive theory of functions of several variables

by W. Schempp

1977 1 ed.
Construction
Construction

by Gerhard Heinzmann

2010 1 ed.